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

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