Mon, 22 Jun 2009 23:48:24 +0200 |
wenzelm |
observe standard theory naming conventions;
|
file |
diff |
annotate
|
Fri, 10 Aug 2007 22:31:19 +0200 |
wenzelm |
simultaneous use_thys;
|
file |
diff |
annotate
|
Sun, 12 Feb 2006 10:42:19 +0100 |
kleing |
* moved ThreeDivides from Isar_examples to better suited HOL/ex
|
file |
diff |
annotate
|
Sun, 12 Feb 2006 04:31:18 +0100 |
kleing |
divisibility by 3 theorem, contributed by Benjamin Porter,
|
file |
diff |
annotate
|
Thu, 09 Jun 2005 23:33:28 +0200 |
wenzelm |
added Isar_examples/Drinker.thy;
|
file |
diff |
annotate
|
Tue, 26 Feb 2002 00:24:37 +0100 |
wenzelm |
Isar_examples/W_correct moved to W0;
|
file |
diff |
annotate
|
Thu, 08 Nov 2001 23:50:08 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 18 Oct 2000 23:35:56 +0200 |
wenzelm |
MultisetOrder mmoved to HOL/Library;
|
file |
diff |
annotate
|
Tue, 03 Oct 2000 22:35:44 +0200 |
wenzelm |
added Hoare;
|
file |
diff |
annotate
|
Wed, 13 Sep 2000 18:45:10 +0200 |
paulson |
moved Primes, Fib, Factorization to HOL/NumberTheory
|
file |
diff |
annotate
|
Fri, 05 May 2000 22:30:14 +0200 |
wenzelm |
adapted to new arithmetic simprocs;
|
file |
diff |
annotate
|
Tue, 02 May 2000 18:55:33 +0200 |
paulson |
TEMPORARY REMOVAL OF TWO BROKEN EXAMPLES
|
file |
diff |
annotate
|
Wed, 05 Apr 2000 21:06:52 +0200 |
wenzelm |
added NestedDatatype;
|
file |
diff |
annotate
|
Thu, 20 Jan 2000 17:57:59 +0100 |
wenzelm |
removed Isar_examples/Minimal;
|
file |
diff |
annotate
|
Tue, 07 Dec 1999 12:13:09 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 29 Nov 1999 11:21:50 +0100 |
wenzelm |
Minimal.thy;
|
file |
diff |
annotate
|
Wed, 17 Nov 1999 15:03:23 +0100 |
wenzelm |
added Isar_examples/Puzzle.thy;
|
file |
diff |
annotate
|
Fri, 08 Oct 1999 15:09:14 +0200 |
wenzelm |
improved presentation;
|
file |
diff |
annotate
|
Tue, 28 Sep 1999 14:24:22 +0200 |
wenzelm |
added W_correct -- correctness of Milner's type inference algorithm W
|
file |
diff |
annotate
|
Thu, 02 Sep 1999 15:25:19 +0200 |
wenzelm |
renamed NatSum to Summation;
|
file |
diff |
annotate
|
Wed, 01 Sep 1999 21:46:01 +0200 |
wenzelm |
added MultisetOrder.thy;
|
file |
diff |
annotate
|
Sun, 29 Aug 1999 17:53:03 +0200 |
wenzelm |
added MutilatedCheckerboard;
|
file |
diff |
annotate
|
Thu, 01 Jul 1999 21:30:18 +0200 |
wenzelm |
added KnasterTarski.thy;
|
file |
diff |
annotate
|
Fri, 04 Jun 1999 16:17:20 +0200 |
wenzelm |
added Group.thy;
|
file |
diff |
annotate
|
Fri, 30 Apr 1999 18:25:10 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 27 Apr 1999 15:10:36 +0200 |
wenzelm |
added Isar_examples/NatSum.thy;
|
file |
diff |
annotate
|
Fri, 16 Apr 1999 17:44:29 +0200 |
wenzelm |
Miscellaneous Isabelle/Isar examples for Higher-Order Logic.
|
file |
diff |
annotate
|