src/HOL/Isar_examples/MultisetOrder.thy
1999-09-04 wenzelm 1999-09-04 replaced ?? by ?;
1999-09-03 wenzelm 1999-09-03 tuned;
1999-09-03 wenzelm 1999-09-03 tuned;
1999-09-02 wenzelm 1999-09-02 tidied;
1999-09-01 wenzelm 1999-09-01 Wellfoundedness proof for the multiset order (preliminary version).