src/HOL/Isar_examples/MultisetOrder.thy
Wed, 08 Sep 1999 23:49:39 +0200 wenzelm lemma less_add;
Sat, 04 Sep 1999 21:13:01 +0200 wenzelm replaced ?? by ?;
Fri, 03 Sep 1999 14:52:01 +0200 wenzelm tuned;
Fri, 03 Sep 1999 14:22:12 +0200 wenzelm tuned;
Thu, 02 Sep 1999 15:24:56 +0200 wenzelm tidied;
Wed, 01 Sep 1999 21:35:04 +0200 wenzelm Wellfoundedness proof for the multiset order (preliminary version).
less more (0) tip