package info
(click to toggle)
hol88 2.02.19940316dfsg-5
- links: PTS
- area: main
- in suites: bookworm
- size: 65,816 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: Description
 |
.. (parent) | |||
 |
- | rw-r--r-- | 11,745 | ML.aux |
|
- | rw-r--r-- | 480 | ML.tex |
|
- | rw-r--r-- | 681 | Makefile |
|
- | rw-r--r-- | 511 | contents.aux |
|
- | rw-r--r-- | 18 | contents.tex |
|
- | rw-r--r-- | 2,194 | conv.aux |
|
- | rw-r--r-- | 41,973 | conv.tex |
|
- | rw-r--r-- | 917 | description.aux |
|
- | rw-r--r-- | 1,044,264 | description.dvi |
|
- | rw-r--r-- | 173,701 | description.idx |
|
- | rw-r--r-- | 12,479 | description.log |
|
- | rw-r--r-- | 3,407 | description.tex |
|
- | rw-r--r-- | 22,040 | description.toc |
|
- | rw-r--r-- | 4,862 | drules.aux |
|
- | rw-r--r-- | 47,694 | drules.tex |
|
- | rw-r--r-- | 578 | index.aux |
|
- | rw-r--r-- | 72,465 | index.tex |
|
- | rw-r--r-- | 2,570 | logic.aux |
|
- | rw-r--r-- | 47,974 | logic.tex |
|
- | rw-r--r-- | 36,307 | ml1.tex |
|
- | rw-r--r-- | 27,627 | ml2.tex |
|
- | rw-r--r-- | 31,841 | ml3.tex |
|
- | rw-r--r-- | 40,432 | ml4.tex |
|
- | rw-r--r-- | 9,873 | ml5.tex |
|
- | rw-r--r-- | 24,462 | ml6.tex |
|
- | rw-r--r-- | 66,955 | ml7.tex |
|
- | rw-r--r-- | 39 | mlcontents.tex |
|
- | rw-r--r-- | 8,917 | mlpreface.tex |
|
- | rw-r--r-- | 1,860 | part-separating-tags.tex |
|
- | rw-r--r-- | 640 | preface.aux |
|
- | rw-r--r-- | 7,051 | preface.tex |
|
- | rw-r--r-- | 1,004 | references.aux |
|
- | rw-r--r-- | 3,697 | references.tex |
|
- | rw-r--r-- | 508 | see.aux |
|
- | rw-r--r-- | 1,075 | see.tex |
|
- | rw-r--r-- | 3,167 | semantics.aux |
|
- | rw-r--r-- | 70,006 | semantics.tex |
|
- | rw-r--r-- | 13,011 | system.aux |
|
- | rw-r--r-- | 256,210 | system.tex |
|
- | rw-r--r-- | 4,804 | tactics.aux |
|
- | rw-r--r-- | 86,789 | tactics.tex |
|
- | rw-r--r-- | 507 | title.aux |
|
- | rw-r--r-- | 563 | title.tex |
|
- | rw-r--r-- | 3,478 | version2.aux |
|
- | rw-r--r-- | 57,347 | version2.tex |