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: course
 |
.. (parent) | |||
 |
- | rw-r--r-- | 5,679 | LOG |
|
- | rw-r--r-- | 884 | Makefile |
|
- | rw-r--r-- | 1,399 | READ-ME |
|
- | rw-r--r-- | 1,369 | alltt.sty |
|
- | rw-r--r-- | 8 | intro.aux |
|
- | rw-r--r-- | 7,312 | intro.dvi |
|
- | rw-r--r-- | 1,075 | intro.log |
|
- | rw-r--r-- | 5,474 | intro.tex |
|
- | rw-r--r-- | 3,079 | layout.sty |
|
- | rw-r--r-- | 8 | logicA.aux |
|
- | rw-r--r-- | 36,488 | logicA.dvi |
|
- | rw-r--r-- | 1,239 | logicA.log |
|
- | rw-r--r-- | 28,044 | logicA.tex |
|
- | rw-r--r-- | 8 | logicB.aux |
|
- | rw-r--r-- | 28,120 | logicB.dvi |
|
- | rw-r--r-- | 1,170 | logicB.log |
|
- | rw-r--r-- | 19,772 | logicB.tex |
|
- | rw-r--r-- | 4,586 | macros.tex |
|
- | rw-r--r-- | 8 | ml.aux |
|
- | rw-r--r-- | 19,264 | ml.dvi |
|
- | rw-r--r-- | 1,127 | ml.log |
|
- | rw-r--r-- | 11,780 | ml.tex |
|
- | rw-r--r-- | 8 | primrec.aux |
|
- | rw-r--r-- | 11,924 | primrec.dvi |
|
- | rw-r--r-- | 1,110 | primrec.log |
|
- | rw-r--r-- | 8,941 | primrec.tex |
|
- | rw-r--r-- | 8 | systemA.aux |
|
- | rw-r--r-- | 33,816 | systemA.dvi |
|
- | rw-r--r-- | 1,219 | systemA.log |
|
- | rw-r--r-- | 24,390 | systemA.tex |
|
- | rw-r--r-- | 8 | systemB.aux |
|
- | rw-r--r-- | 46,288 | systemB.dvi |
|
- | rw-r--r-- | 1,284 | systemB.log |
|
- | rw-r--r-- | 31,859 | systemB.tex |
|
- | rw-r--r-- | 8 | thmproveA.aux |
|
- | rw-r--r-- | 24,124 | thmproveA.dvi |
|
- | rw-r--r-- | 1,160 | thmproveA.log |
|
- | rw-r--r-- | 16,939 | thmproveA.tex |
|
- | rw-r--r-- | 8 | thmproveB.aux |
|
- | rw-r--r-- | 68,536 | thmproveB.dvi |
|
- | rw-r--r-- | 1,426 | thmproveB.log |
|
- | rw-r--r-- | 45,836 | thmproveB.tex |
|
- | rw-r--r-- | 8 | tydefs.aux |
|
- | rw-r--r-- | 22,456 | tydefs.dvi |
|
- | rw-r--r-- | 1,140 | tydefs.log |
|
- | rw-r--r-- | 17,429 | tydefs.tex |