isabelle: Changelog

paulson [Tue, 27 May 1997 13:26:42 +0200] rev 3359

New theorems suggested by Florian Kammueller

paulson [Tue, 27 May 1997 13:26:11 +0200] rev 3358

Restoration of the two "bypassed" theorems Union_quotient and quotient_disj

paulson [Tue, 27 May 1997 13:25:00 +0200] rev 3357

Removal of card_insert_disjoint, which is now a default rewrite rule

paulson [Tue, 27 May 1997 13:24:15 +0200] rev 3356

New theorem disjoint_eq_subset_Compl

paulson [Tue, 27 May 1997 13:23:53 +0200] rev 3355

New theorem le_Suc_eq

paulson [Tue, 27 May 1997 13:23:27 +0200] rev 3354

Removal of mask.sig and mask.sml

paulson [Tue, 27 May 1997 13:22:30 +0200] rev 3353

Removal of module Mask and datatype binding with its constructor |->

paulson [Tue, 27 May 1997 13:03:41 +0200] rev 3352

New theorems suggested by Florian Kammueller

slotosch [Mon, 26 May 1997 14:54:24 +0200] rev 3351

remoded ccc1

slotosch [Mon, 26 May 1997 13:51:03 +0200] rev 3350

removed ccc1

isabelle