src/HOL/Isar_examples/ROOT.ML
2006-02-12 kleing 2006-02-12 * moved ThreeDivides from Isar_examples to better suited HOL/ex * moved 2 summation lemmas from ThreeDivides to SetInterval
2006-02-12 kleing 2006-02-12 divisibility by 3 theorem, contributed by Benjamin Porter, #85 in http://www.cs.ru.nl/~freek/100/
2005-06-09 wenzelm 2005-06-09 added Isar_examples/Drinker.thy;
2002-02-26 wenzelm 2002-02-26 Isar_examples/W_correct moved to W0;
2001-11-08 wenzelm 2001-11-08 tuned;
2000-10-18 wenzelm 2000-10-18 MultisetOrder mmoved to HOL/Library;
2000-10-03 wenzelm 2000-10-03 added Hoare;
2000-09-13 paulson 2000-09-13 moved Primes, Fib, Factorization to HOL/NumberTheory
2000-05-05 wenzelm 2000-05-05 adapted to new arithmetic simprocs;
2000-05-02 paulson 2000-05-02 TEMPORARY REMOVAL OF TWO BROKEN EXAMPLES
2000-04-05 wenzelm 2000-04-05 added NestedDatatype;
2000-01-20 wenzelm 2000-01-20 removed Isar_examples/Minimal;
1999-12-07 wenzelm 1999-12-07 tuned;
1999-11-29 wenzelm 1999-11-29 Minimal.thy;
1999-11-17 wenzelm 1999-11-17 added Isar_examples/Puzzle.thy;
1999-10-08 wenzelm 1999-10-08 improved presentation;
1999-09-28 wenzelm 1999-09-28 added W_correct -- correctness of Milner's type inference algorithm W (let-free version);
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.