package info
(click to toggle)
hol88 2.02.19940316dfsg-6
- links: PTS
- area: main
- in suites: trixie
- size: 65,956 kB
- sloc: ml: 199,939; ansic: 9,666; sh: 6,913; makefile: 6,032; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5
Folder: window
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | Manual |
|
d | rwxr-xr-x | 95 | help |
 |
- | rw-r--r-- | 6,394 | Makefile |
|
- | rw-r--r-- | 2,953 | READ-ME |
|
- | rw-r--r-- | 10,764 | basic_close.ml |
|
- | rw-r--r-- | 9,672 | eq_close.ml |
|
- | rw-r--r-- | 12,878 | hol_ext.ml |
|
- | rw-r--r-- | 21,031 | imp_close.ml |
|
- | rw-r--r-- | 19,453 | inter.ml |
|
- | rw-r--r-- | 3,507 | load_code.ml |
|
- | rw-r--r-- | 3,367 | load_window.ml |
|
- | rw-r--r-- | 2,909 | mk_win_th.ml |
|
- | rw-r--r-- | 9,810 | ml_ext.ml |
|
- | rw-r--r-- | 21,881 | tables.ml |
|
- | rw-r--r-- | 5,057 | tactic.ml |
|
- | rw-r--r-- | 3,982 | thms.ml |
|
- | rw-r--r-- | 25,526 | win.ml |
|
- | rw-r--r-- | 4,720 | window.ml |
|
- | rw-r--r-- | 3,498 | xlabel.ml |