package info
(click to toggle)
hol88 2.02.19940316dfsg-8
- links: PTS
- area: main
- in suites: forky, sid
- size: 65,960 kB
- sloc: ml: 199,939; ansic: 9,666; sh: 6,913; makefile: 6,032; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5
Folder: ml
 |
.. (parent) | |||
 |
- | rw-r--r-- | 259 | READ-ME |
|
- | rw-r--r-- | 11,006 | abs-rep.ml |
|
- | rw-r--r-- | 106,359 | conv.ml |
|
- | rw-r--r-- | 38,593 | drul.ml |
|
- | rw-r--r-- | 11,649 | gen.ml |
|
- | rw-r--r-- | 3,893 | genfns.ml |
|
- | rw-r--r-- | 7,862 | goals.ml |
|
- | rw-r--r-- | 59,180 | hol-drule.ml |
|
- | rw-r--r-- | 2,571 | hol-in-out.ml |
|
- | rw-r--r-- | 3,162 | hol-net.ml |
|
- | rw-r--r-- | 8,617 | hol-rule.ml |
|
- | rw-r--r-- | 59,563 | hol-syn.ml |
|
- | rw-r--r-- | 16,002 | hol-thyfn.ml |
|
- | rw-r--r-- | 9,535 | ind.ml |
|
- | rw-r--r-- | 2,293 | killpp.ml |
|
- | rw-r--r-- | 8,772 | lcf-net.ml |
|
- | rw-r--r-- | 7,774 | lib_loader.ml |
|
- | rw-r--r-- | 7,383 | lis.ml |
|
- | rw-r--r-- | 46,935 | list.ml |
|
- | rw-r--r-- | 28,147 | load_thms.ml |
|
- | rw-r--r-- | 4,449 | ml-curry.ml |
|
- | rw-r--r-- | 2,654 | new-tactics.ml |
|
- | rw-r--r-- | 16,762 | num.ml |
|
- | rw-r--r-- | 2,588 | numconv.ml |
|
- | rw-r--r-- | 11,410 | prim_rec.ml |
|
- | rw-r--r-- | 19,896 | resolve.ml |
|
- | rw-r--r-- | 18,536 | rewrite.ml |
|
- | rw-r--r-- | 2,198 | site.ml.orig |
|
- | rw-r--r-- | 5,870 | stack.ml |
|
- | rw-r--r-- | 10,893 | tacont.ml |
|
- | rw-r--r-- | 10,434 | tacticals.ml |
|
- | rw-r--r-- | 17,046 | tactics.ml |
|
- | rw-r--r-- | 55,946 | tydefs.ml |
|
- | rw-r--r-- | 27,052 | tyfns.ml |
|
- | rw-r--r-- | 462 | unsafe-rules |