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: card
 |
.. (parent) | |||
 |
- | rw-r--r-- | 151 | CARD_DEF.doc |
|
- | rw-r--r-- | 130 | CARD_DELETE.doc |
|
- | rw-r--r-- | 136 | CARD_DIFF.doc |
|
- | rw-r--r-- | 58 | CARD_EMPTY.doc |
|
- | rw-r--r-- | 89 | CARD_EQ_0.doc |
|
- | rw-r--r-- | 129 | CARD_INSERT.doc |
|
- | rw-r--r-- | 106 | CARD_INTER_LESS_EQ.doc |
|
- | rw-r--r-- | 106 | CARD_PSUBSET.doc |
|
- | rw-r--r-- | 62 | CARD_SING.doc |
|
- | rw-r--r-- | 105 | CARD_SUBSET.doc |
|
- | rw-r--r-- | 163 | CARD_UNION.doc |
|
- | rw-r--r-- | 138 | LESS_CARD_DIFF.doc |
|
- | rw-r--r-- | 87 | SING_IFF_CARD1.doc |