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: unin
 |
.. (parent) | |||
 |
- | rw-r--r-- | 101 | DELETE_INTER.doc |
|
- | rw-r--r-- | 100 | EMPTY_UNION.doc |
|
- | rw-r--r-- | 129 | INSERT_INTER.doc |
|
- | rw-r--r-- | 129 | INSERT_UNION.doc |
|
- | rw-r--r-- | 104 | INSERT_UNION_EQ.doc |
|
- | rw-r--r-- | 98 | INTER_ASSOC.doc |
|
- | rw-r--r-- | 75 | INTER_COMM.doc |
|
- | rw-r--r-- | 103 | INTER_EMPTY.doc |
|
- | rw-r--r-- | 68 | INTER_IDEMPOT.doc |
|
- | rw-r--r-- | 113 | INTER_OVER_UNION.doc |
|
- | rw-r--r-- | 110 | INTER_SUBSET.doc |
|
- | rw-r--r-- | 89 | IN_INTER.doc |
|
- | rw-r--r-- | 89 | IN_UNION.doc |
|
- | rw-r--r-- | 95 | SUBSET_INTER_ABSORPTION.doc |
|
- | rw-r--r-- | 110 | SUBSET_UNION.doc |
|
- | rw-r--r-- | 95 | SUBSET_UNION_ABSORPTION.doc |
|
- | rw-r--r-- | 98 | UNION_ASSOC.doc |
|
- | rw-r--r-- | 75 | UNION_COMM.doc |
|
- | rw-r--r-- | 97 | UNION_EMPTY.doc |
|
- | rw-r--r-- | 68 | UNION_IDEMPOT.doc |
|
- | rw-r--r-- | 113 | UNION_OVER_INTER.doc |