package info
(click to toggle)
hol88 2.02.19940316-13.1
- links: PTS
- area: main
- in suites: squeeze
- size: 63,104 kB
- ctags: 19,367
- sloc: ml: 199,939; ansic: 9,300; sh: 7,118; makefile: 6,077; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5
Folder: theories
 |
.. (parent) | |||
 |
- | rw-r--r-- | 1 | .CKP |
|
- | rw-r--r-- | 3,428 | READ-ME |
|
- | rw-r--r-- | 4,795 | mk_BASIC-HOL.ml |
|
- | rw-r--r-- | 2,080 | mk_PPLAMB.ml |
|
- | rw-r--r-- | 5,755 | mk_arith.ml |
|
- | rw-r--r-- | 73,389 | mk_arith_thms.ml |
|
- | rw-r--r-- | 16,731 | mk_bool.ml |
|
- | rw-r--r-- | 4,098 | mk_combin.ml |
|
- | rw-r--r-- | 4,136 | mk_fun.ml |
|
- | rw-r--r-- | 2,155 | mk_ind.ml |
|
- | rw-r--r-- | 10,819 | mk_list.ml |
|
- | rw-r--r-- | 27,317 | mk_list_defs.ml |
|
- | rw-r--r-- | 101,460 | mk_list_thm2.ml |
|
- | rw-r--r-- | 18,743 | mk_list_thms.ml |
|
- | rw-r--r-- | 25,486 | mk_ltree.ml |
|
- | rw-r--r-- | 9,202 | mk_num.ml |
|
- | rw-r--r-- | 5,066 | mk_one.ml |
|
- | rw-r--r-- | 3,693 | mk_pair.ml |
|
- | rw-r--r-- | 15,333 | mk_prim_rec.ml |
|
- | rw-r--r-- | 16,206 | mk_sum.ml |
|
- | rw-r--r-- | 40,343 | mk_tree.ml |
|
- | rw-r--r-- | 13,179 | mk_tydefs.ml |