isabelle: Changelog

obua [Tue, 18 May 2004 11:45:50 +0200] rev 14756

modified abel_cancel.ML for polymorphic types

obua [Tue, 18 May 2004 10:02:50 +0200] rev 14755

simplification for abelian groups

obua [Tue, 18 May 2004 10:01:44 +0200] rev 14754

Modification / Installation of Provers/Arith/abel_cancel.ML for OrderedGroup.thy

webertj [Mon, 17 May 2004 14:05:06 +0200] rev 14753

Comments fixed

mehta [Mon, 17 May 2004 11:02:16 +0200] rev 14752

lemma disjoint_int_union removed - too special

ballarin [Fri, 14 May 2004 19:29:22 +0200] rev 14751

Change of theory hierarchy: Group is now based in Lattice.

paulson [Fri, 14 May 2004 16:54:13 +0200] rev 14750

tidied

paulson [Fri, 14 May 2004 16:53:15 +0200] rev 14749

new atomize theorem

paulson [Fri, 14 May 2004 16:52:53 +0200] rev 14748

removed a premise of card_inj_on_le

paulson [Fri, 14 May 2004 16:50:33 +0200] rev 14747

removal of locale coset

isabelle