src/HOL/Isar_examples/ROOT.ML
1999-09-02 wenzelm 1999-09-02 renamed NatSum to Summation;
1999-09-01 wenzelm 1999-09-01 added MultisetOrder.thy;
1999-08-29 wenzelm 1999-08-29 added MutilatedCheckerboard;
1999-07-01 wenzelm 1999-07-01 added KnasterTarski.thy;
1999-06-04 wenzelm 1999-06-04 added Group.thy;
1999-04-30 wenzelm 1999-04-30 tuned;
1999-04-27 wenzelm 1999-04-27 added Isar_examples/NatSum.thy;
1999-04-16 wenzelm 1999-04-16 Miscellaneous Isabelle/Isar examples for Higher-Order Logic.