Tue, 27 May 1997 15:45:07 +0200 | wenzelm | NJ 1.09.2x as factory default! | changeset | files |
Tue, 27 May 1997 15:07:02 +0200 | mueller | Last changes for new release 94-8 | changeset | files |
Tue, 27 May 1997 14:38:49 +0200 | wenzelm | added 1.09.28 note; | changeset | files |
Tue, 27 May 1997 13:26:42 +0200 | paulson | New theorems suggested by Florian Kammueller | changeset | files |
Tue, 27 May 1997 13:26:11 +0200 | paulson | Restoration of the two "bypassed" theorems Union_quotient and quotient_disj | changeset | files |
Tue, 27 May 1997 13:25:00 +0200 | paulson | Removal of card_insert_disjoint, which is now a default rewrite rule | changeset | files |
Tue, 27 May 1997 13:24:15 +0200 | paulson | New theorem disjoint_eq_subset_Compl | changeset | files |