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: ml

d .. (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