package info
(click to toggle)
hol88 2.02.19940316-28
- links: PTS
- area: main
- in suites: jessie, jessie-kfreebsd
- size: 65,924 kB
- ctags: 21,595
- sloc: ml: 199,939; ansic: 9,666; sh: 7,118; makefile: 6,075; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5
Folder: fin
 |
.. (parent) | |||
 |
- | rw-r--r-- | 119 | FINITE_DEF.doc |
|
- | rw-r--r-- | 79 | FINITE_DELETE.doc |
|
- | rw-r--r-- | 81 | FINITE_DIFF.doc |
|
- | rw-r--r-- | 53 | FINITE_EMPTY.doc |
|
- | rw-r--r-- | 149 | FINITE_INDUCT.doc |
|
- | rw-r--r-- | 79 | FINITE_INSERT.doc |
|
- | rw-r--r-- | 184 | FINITE_ISO_NUM.doc |
|
- | rw-r--r-- | 116 | FINITE_PSUBSET_INFINITE.doc |
|
- | rw-r--r-- | 99 | FINITE_PSUBSET_UNIV.doc |
|
- | rw-r--r-- | 89 | FINITE_UNION.doc |
|
- | rw-r--r-- | 136 | IMAGE_11_INFINITE.doc |
|
- | rw-r--r-- | 83 | IMAGE_FINITE.doc |
|
- | rw-r--r-- | 69 | INFINITE_DEF.doc |
|
- | rw-r--r-- | 102 | INFINITE_DIFF_FINITE.doc |
|
- | rw-r--r-- | 96 | INFINITE_SUBSET.doc |
|
- | rw-r--r-- | 138 | INFINITE_UNIV.doc |
|
- | rw-r--r-- | 83 | INTER_FINITE.doc |
|
- | rw-r--r-- | 109 | IN_INFINITE_NOT_FINITE.doc |
|
- | rw-r--r-- | 92 | NOT_IN_FINITE.doc |
|
- | rw-r--r-- | 92 | PSUBSET_FINITE.doc |
|
- | rw-r--r-- | 90 | SUBSET_FINITE.doc |