package info
(click to toggle)
hol88 2.02.19940316-1
- links: PTS
- area: main
- in suites: etch, etch-m68k
- size: 63,052 kB
- ctags: 19,365
- sloc: ml: 199,939; ansic: 9,300; sh: 7,118; makefile: 6,076; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5
Folder: lisp
 |
.. (parent) | |||
 |
- | rw-r--r-- | 52 | .gmacs_state |
|
- | rw-r--r-- | 263 | READ-ME |
|
- | rw-r--r-- | 1,911 | akcl.l |
|
- | rw-r--r-- | 3,505 | banner.l |
|
- | rw-r--r-- | 3,250 | constp.l |
|
- | rw-r--r-- | 24,203 | f-cl.l |
|
- | rw-r--r-- | 14,347 | f-constants.l |
|
- | rw-r--r-- | 15,042 | f-dml.l |
|
- | rw-r--r-- | 12,383 | f-format.l |
|
- | rw-r--r-- | 11,281 | f-franz.l |
|
- | rw-r--r-- | 8,292 | f-freadth.l |
|
- | rw-r--r-- | 6,793 | f-gp.l |
|
- | rw-r--r-- | 4,972 | f-help.l |
|
- | rw-r--r-- | 18,074 | f-inst.l |
|
- | rw-r--r-- | 12,661 | f-iox-stand.l |
|
- | rw-r--r-- | 5,424 | f-lis.l |
|
- | rw-r--r-- | 4,543 | f-macro.l |
|
- | rw-r--r-- | 8,095 | f-mlprin.l |
|
- | rw-r--r-- | 4,232 | f-obj.l |
|
- | rw-r--r-- | 9,480 | f-ol-net.l |
|
- | rw-r--r-- | 4,059 | f-ol-rec.l |
|
- | rw-r--r-- | 20,985 | f-ol-syntax.l |
|
- | rw-r--r-- | 15,717 | f-parser.l |
|
- | rw-r--r-- | 26,822 | f-parsml.l |
|
- | rw-r--r-- | 11,660 | f-parsol.l |
|
- | rw-r--r-- | 9,705 | f-simpl.l |
|
- | rw-r--r-- | 2,339 | f-site.l |
|
- | rw-r--r-- | 17,589 | f-subst.l |
|
- | rw-r--r-- | 8,522 | f-system.l |
|
- | rw-r--r-- | 35,631 | f-thyfns.l |
|
- | rw-r--r-- | 36,228 | f-tml.l |
|
- | rw-r--r-- | 32,991 | f-tran.l |
|
- | rw-r--r-- | 30,734 | f-typeml.l |
|
- | rw-r--r-- | 14,927 | f-typeol.l |
|
- | rw-r--r-- | 7,333 | f-writml.l |
|
- | rw-r--r-- | 17,375 | f-writol.l |
|
- | rw-r--r-- | 2,498 | genfns.l |
|
- | rw-r--r-- | 3,387 | genmacs.l |
|
- | rw-r--r-- | 3,919 | gnt.l |
|
- | rw-r--r-- | 35,009 | hol-pars.l |
|
- | rw-r--r-- | 44,399 | hol-writ.l |
|
- | rw-r--r-- | 2,734 | mk-hol-lcf.l |
|
- | rw-r--r-- | 3,744 | mk-ml.l |
|
- | rw-r--r-- | 2,348 | mk_pp_thm.l |
|
- | rw-r--r-- | 2,907 | parse_as_binder.l |
|
- | rw-r--r-- | 8,144 | parslet.l |
|
- | rw-r--r-- | 9,182 | parslist.l |