Thu, 24 Jul 2003 16:37:04 +0200 |
paulson |
new theory NatPair of the injection from nat*nat -> nat
|
file |
diff |
annotate
|
Sat, 09 Jun 2001 14:18:19 +0200 |
wenzelm |
tuned Primes theory;
|
file |
diff |
annotate
|
Thu, 31 May 2001 16:52:54 +0200 |
oheimb |
added Library/Nat_Infinity.thy and Library/Continuity.thy
|
file |
diff |
annotate
|
Sun, 04 Feb 2001 19:43:15 +0100 |
wenzelm |
added Permutation;
|
file |
diff |
annotate
|
Fri, 26 Jan 2001 15:50:52 +0100 |
nipkow |
Merged Example into While_Combi
|
file |
diff |
annotate
|
Sat, 20 Jan 2001 00:35:10 +0100 |
wenzelm |
Ring_and_Field_Example;
|
file |
diff |
annotate
|
Fri, 19 Jan 2001 23:53:07 +0100 |
wenzelm |
added HOL/Library/Nested_Environment.thy;
|
file |
diff |
annotate
|
Wed, 06 Dec 2000 21:52:49 +0100 |
wenzelm |
activate Rational_Numbers;
|
file |
diff |
annotate
|
Wed, 06 Dec 2000 21:32:25 +0100 |
wenzelm |
deactivate Rational_Numbers (tmp!);
|
file |
diff |
annotate
|
Wed, 06 Dec 2000 20:45:36 +0100 |
wenzelm |
Rational_Numbers;
|
file |
diff |
annotate
|
Fri, 17 Nov 2000 18:47:33 +0100 |
wenzelm |
Ring_and_Field;
|
file |
diff |
annotate
|
Wed, 25 Oct 2000 18:32:40 +0200 |
wenzelm |
added List_Prefix;
|
file |
diff |
annotate
|
Wed, 18 Oct 2000 23:31:16 +0200 |
wenzelm |
"The Supplemental Isabelle/HOL Library";
|
file |
diff |
annotate
|