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 |