| Fri, 23 Dec 1994 16:51:10 +0100 |
lcp |
RepFun_eq_0_iff, RepFun_0: new
|
changeset |
files
|
| Fri, 23 Dec 1994 16:50:22 +0100 |
lcp |
Moved Transset_includes_summands and Transset_sum_Int_subset
|
changeset |
files
|
| Fri, 23 Dec 1994 16:49:48 +0100 |
lcp |
Re-indented declarations; declared the number 2
|
changeset |
files
|
| Fri, 23 Dec 1994 16:35:42 +0100 |
lcp |
Added Krzysztof's theorems irrefl_converse, trans_on_converse,
|
changeset |
files
|
| Fri, 23 Dec 1994 16:35:08 +0100 |
lcp |
Added Krzysztof's theorems irrefl_rvimage, trans_on_rvimage,
|
changeset |
files
|
| Fri, 23 Dec 1994 16:34:27 +0100 |
lcp |
singleton_iff: new
|
changeset |
files
|
| Fri, 23 Dec 1994 16:33:37 +0100 |
lcp |
Proved cons_lepoll_consD, succ_lepoll_succD, cons_eqpoll_consD,
|
changeset |
files
|
| Fri, 23 Dec 1994 16:32:39 +0100 |
lcp |
Added Krzysztof's constants lesspoll and Finite
|
changeset |
files
|
| Fri, 23 Dec 1994 16:32:02 +0100 |
lcp |
Added Krzysztof's theorem pred_Memrel
|
changeset |
files
|
| Fri, 23 Dec 1994 16:31:23 +0100 |
lcp |
Moved Transset_includes_summands and Transset_sum_Int_subset to
|
changeset |
files
|
| Fri, 23 Dec 1994 16:30:35 +0100 |
lcp |
natE0: deleted, since unused
|
changeset |
files
|
| Fri, 23 Dec 1994 16:29:53 +0100 |
lcp |
Changed succ(1) to 2 in in_VLimit, two_in_univ
|
changeset |
files
|
| Fri, 23 Dec 1994 16:29:04 +0100 |
lcp |
csquare_rel_def: renamed k to K
|
changeset |
files
|
| Fri, 23 Dec 1994 16:28:26 +0100 |
lcp |
inj_apply_equality: new
|
changeset |
files
|