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 |
Tue, 27 May 1997 13:23:53 +0200 | paulson | New theorem le_Suc_eq | changeset | files |
Tue, 27 May 1997 13:23:27 +0200 | paulson | Removal of mask.sig and mask.sml | changeset | files |
Tue, 27 May 1997 13:22:30 +0200 | paulson | Removal of module Mask and datatype binding with its constructor |-> | changeset | files |
Tue, 27 May 1997 13:03:41 +0200 | paulson | New theorems suggested by Florian Kammueller | changeset | files |
Mon, 26 May 1997 14:54:24 +0200 | slotosch | remoded ccc1 | changeset | files |
Mon, 26 May 1997 13:51:03 +0200 | slotosch | removed ccc1 | changeset | files |