package info (click to toggle)
hol88 2.02.19940316-35
  • links: PTS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 65,988 kB
  • ctags: 21,623
  • sloc: ml: 199,939; ansic: 9,666; sh: 7,118; makefile: 6,095; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5

Folder: contrib

d .. (parent)
d d rwxr-xr-x 50 AKCL-mods
d d rwxr-xr-x 70 AKCL-profiling
d d rwxr-xr-x 68 CARD
d d rwxr-xr-x 53 CPO
d d rwxr-xr-x 4,096 CSP
d d rwxr-xr-x 4,096 HOLproof
d d rwxr-xr-x 142 PNF
d d rwxr-xr-x 4,096 Predicate
d d rwxr-xr-x 4,096 RefCalc
d d rwxr-xr-x 4,096 SECD
d d rwxr-xr-x 4,096 Tarski
d d rwxr-xr-x 4,096 UNITY
d d rwxr-xr-x 45 WELL_ORDER
d d rwxr-xr-x 140 WF
d d rwxr-xr-x 4,096 Xhelp
d d rwxr-xr-x 4,096 Z
d d rwxr-xr-x 66 ZET
d d rwxr-xr-x 45 aci
d d rwxr-xr-x 4,096 auxiliary
d d rwxr-xr-x 4,096 bags
d d rwxr-xr-x 56 batch-hol-tool
d d rwxr-xr-x 4,096 benchmark
d d rwxr-xr-x 4,096 boyer-moore
d d rwxr-xr-x 79 btg-tactics
d d rwxr-xr-x 52 cont
d d rwxr-xr-x 4,096 convert
d d rwxr-xr-x 94 eval
d d rwxr-xr-x 100 fixpoints
d d rwxr-xr-x 4,096 fpf
d d rwxr-xr-x 31 franz-cl-th
d d rwxr-xr-x 70 greatest
d d rwxr-xr-x 4,096 group
d d rwxr-xr-x 96 hol-emacs
d d rwxr-xr-x 37 hol-errors
d d rwxr-xr-x 4,096 hol-exec
d d rwxr-xr-x 24 hol-mode
d d rwxr-xr-x 49 hol-sum
d d rwxr-xr-x 69 hol_users
d d rwxr-xr-x 48 holsort
d d rwxr-xr-x 71 icl-taut
d d rwxr-xr-x 103 int
d d rwxr-xr-x 4,096 int_mod
d d rwxr-xr-x 4,096 integer
d d rwxr-xr-x 136 knuth-bendix
d d rwxr-xr-x 86 koenig
d d rwxr-xr-x 53 latex
d d rwxr-xr-x 69 make_use
d d rwxr-xr-x 4,096 more_lists
d d rwxr-xr-x 4,096 mut_rec_types
d d rwxr-xr-x 4,096 mweb
d d rwxr-xr-x 44 newrw
d d rwxr-xr-x 108 non-unix
d d rwxr-xr-x 66 pre-v2.02-rewr
d d rwxr-xr-x 106 pred
d d rwxr-xr-x 4,096 prog_logic88
d d rwxr-xr-x 4,096 prog_logic92
d d rwxr-xr-x 92 prooftree
d d rwxr-xr-x 4,096 quotient
d d rwxr-xr-x 4,096 rec_tys_listop
d d rwxr-xr-x 106 reduct
d d rwxr-xr-x 4,096 res_quan
d d rwxr-xr-x 80 rewriting
d d rwxr-xr-x 111 rule-induction
d d rwxr-xr-x 99 select
d d rwxr-xr-x 111 smarttacs
d d rwxr-xr-x 75 sml-mode
d d rwxr-xr-x 37 subgoal
d d rwxr-xr-x 72 temporal
d d rwxr-xr-x 74 tex-thy-format
d d rwxr-xr-x 4,096 tooltool
d d rwxr-xr-x 4,096 wordn
- - rw-r--r-- 8,418 CONTENTS
- - rw-r--r-- 1,148 READ-ME