| Wed, 11 Jan 1995 18:47:03 +0100 |
lcp |
Proved ord_isoI, ord_iso_refl. Simplified proof of
|
changeset |
files
|
| Wed, 11 Jan 1995 18:42:06 +0100 |
lcp |
Proved cadd_cmult_distrib.
|
changeset |
files
|
| Wed, 11 Jan 1995 18:30:37 +0100 |
lcp |
Now proof of Ord_jump_cardinal uses
|
changeset |
files
|
| Wed, 11 Jan 1995 18:21:39 +0100 |
lcp |
Added Krzysztof's theorem LeastI2. Proof of sum_eqpoll_cong
|
changeset |
files
|
| Wed, 11 Jan 1995 13:25:23 +0100 |
wenzelm |
pretty_gram: now sorts productions;
|
changeset |
files
|
| Wed, 11 Jan 1995 10:57:39 +0100 |
wenzelm |
removed print_sign, print_axioms;
|
changeset |
files
|
| Wed, 11 Jan 1995 10:53:22 +0100 |
wenzelm |
slightly changed OFCLASS syntax;
|
changeset |
files
|
| Mon, 02 Jan 1995 12:16:12 +0100 |
wenzelm |
fixed minor typos;
|
changeset |
files
|
| Mon, 02 Jan 1995 12:14:26 +0100 |
wenzelm |
added;
|
changeset |
files
|
| 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
|