package info
(click to toggle)
hol88 2.02.19940316-35
- links: PTS
- area: main
- in suites: buster
- 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: word
.. (parent) | ||||
d | rwxr-xr-x | 4,096 | Manual | |
d | rwxr-xr-x | 43 | help | |
- | rw-r--r-- | 3,596 | Makefile | |
- | rw-r--r-- | 7,595 | arith_thms.ml | |
- | rw-r--r-- | 485 | genfuns.ml | |
- | rw-r--r-- | 355 | load_parent.ml | |
- | rw-r--r-- | 26,868 | mk_bword_arith.ml | |
- | rw-r--r-- | 9,224 | mk_bword_bitop.ml | |
- | rw-r--r-- | 26,888 | mk_bword_num.ml | |
- | rw-r--r-- | 550 | mk_word.ml | |
- | rw-r--r-- | 6,058 | mk_word_arith.ml | |
- | rw-r--r-- | 29,497 | mk_word_base.ml | |
- | rw-r--r-- | 21,684 | mk_word_bitop.ml | |
- | rw-r--r-- | 7,753 | mk_word_num.ml | |
- | rw-r--r-- | 430 | ver_202.ml | |
- | rw-r--r-- | 728 | word.ml | |
- | rw-r--r-- | 11,402 | word_convs.ml | |
- | rw-r--r-- | 420 | word_funs.ml |