Wed, 04 Aug 2004 17:43:55 +0200 | chaieb | oracle corrected | changeset | files |
Wed, 04 Aug 2004 11:25:08 +0200 | nipkow | aded comment | changeset | files |
Wed, 04 Aug 2004 09:44:40 +0200 | nipkow | fixed tex problem | changeset | files |
Tue, 03 Aug 2004 14:48:59 +0200 | ballarin | Typo. | changeset | files |
Tue, 03 Aug 2004 14:47:51 +0200 | ballarin | New transitivity reasoners for transitivity only and quasi orders. | changeset | files |
Tue, 03 Aug 2004 13:48:00 +0200 | paulson | new simprules Int_subset_iff and Un_subset_iff | changeset | files |
Mon, 02 Aug 2004 16:06:13 +0200 | obua | zdiv_int, zmod_int | changeset | files |