package info
(click to toggle)
hol88 2.02.19940316-8
- links: PTS
- area: main
- in suites: lenny
- size: 63,120 kB
- ctags: 19,367
- sloc: ml: 199,939; ansic: 9,300; sh: 7,118; makefile: 6,074; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5
Folder: arith
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | Manual |
|
d | rwxr-xr-x | 28 | help |
 |
- | rw-r--r-- | 7,003 | Makefile |
|
- | rw-r--r-- | 2,576 | READ-ME |
|
- | rw-r--r-- | 3,610 | arith.ml |
|
- | rw-r--r-- | 7,428 | arith_cons.ml |
|
- | rw-r--r-- | 3,333 | decls.ml |
|
- | rw-r--r-- | 5,760 | exists_arith.ml |
|
- | rw-r--r-- | 8,141 | gen_arith.ml |
|
- | rw-r--r-- | 2,352 | instance.ml |
|
- | rw-r--r-- | 2,452 | int_extra.ml |
|
- | rw-r--r-- | 24,985 | norm_arith.ml |
|
- | rw-r--r-- | 6,514 | norm_bool.ml |
|
- | rw-r--r-- | 7,715 | norm_ineqs.ml |
|
- | rw-r--r-- | 3,127 | prenex.ml |
|
- | rw-r--r-- | 9,435 | qconv.ml |
|
- | rw-r--r-- | 7,311 | rationals.ml |
|
- | rw-r--r-- | 7,320 | sol_ranges.ml |
|
- | rw-r--r-- | 9,043 | solve.ml |
|
- | rw-r--r-- | 18,658 | solve_ineqs.ml |
|
- | rw-r--r-- | 3,522 | streams.ml |
|
- | rw-r--r-- | 1,789 | string_extra.ml |
|
- | rw-r--r-- | 5,078 | sub_and_cond.ml |
|
- | rw-r--r-- | 16,470 | sup-inf.ml |
|
- | rw-r--r-- | 12,743 | term_coeffs.ml |
|
- | rw-r--r-- | 6,933 | theorems.ml |
|
- | rw-r--r-- | 6,874 | thm_convs.ml |