src/HOL/Library/Multiset.thy
Wed, 03 Oct 2001 20:54:16 +0200 wenzelm tuned parentheses in relational expressions;
Tue, 04 Sep 2001 21:10:57 +0200 wenzelm renamed "antecedent" case to "rule_context";
Mon, 06 Aug 2001 13:43:24 +0200 nipkow turned translation for 1::nat into def.
Thu, 21 Dec 2000 10:16:07 +0100 paulson re-orientation of 0=... (no idea why the backslashes have changed too)
Sat, 04 Nov 2000 18:41:37 +0100 wenzelm tuned;
Mon, 23 Oct 2000 22:17:55 +0200 wenzelm intro_classes by default;
Thu, 19 Oct 2000 21:22:44 +0200 wenzelm improved typedef;
Wed, 18 Oct 2000 23:28:33 +0200 wenzelm Multisets (from HOL/Induct/Multiset and friends);
less more (0) tip