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: fin
 |
.. (parent) | |||
 |
- | rw-r--r-- | 124 | FINITE_DEF.doc |
|
- | rw-r--r-- | 84 | FINITE_DELETE.doc |
|
- | rw-r--r-- | 86 | FINITE_DIFF.doc |
|
- | rw-r--r-- | 58 | FINITE_EMPTY.doc |
|
- | rw-r--r-- | 154 | FINITE_INDUCT.doc |
|
- | rw-r--r-- | 84 | FINITE_INSERT.doc |
|
- | rw-r--r-- | 189 | FINITE_ISO_NUM.doc |
|
- | rw-r--r-- | 121 | FINITE_PSUBSET_INFINITE.doc |
|
- | rw-r--r-- | 104 | FINITE_PSUBSET_UNIV.doc |
|
- | rw-r--r-- | 94 | FINITE_UNION.doc |
|
- | rw-r--r-- | 141 | IMAGE_11_INFINITE.doc |
|
- | rw-r--r-- | 88 | IMAGE_FINITE.doc |
|
- | rw-r--r-- | 74 | INFINITE_DEF.doc |
|
- | rw-r--r-- | 107 | INFINITE_DIFF_FINITE.doc |
|
- | rw-r--r-- | 101 | INFINITE_SUBSET.doc |
|
- | rw-r--r-- | 144 | INFINITE_UNIV.doc |
|
- | rw-r--r-- | 88 | INTER_FINITE.doc |
|
- | rw-r--r-- | 114 | IN_INFINITE_NOT_FINITE.doc |
|
- | rw-r--r-- | 97 | NOT_IN_FINITE.doc |
|
- | rw-r--r-- | 97 | PSUBSET_FINITE.doc |
|
- | rw-r--r-- | 95 | SUBSET_FINITE.doc |