Wed, 18 Aug 2004 11:09:40 +0200 |
nipkow |
import -> imports
|
file |
diff |
annotate
|
Mon, 16 Aug 2004 14:22:27 +0200 |
nipkow |
New theory header syntax.
|
file |
diff |
annotate
|
Thu, 06 May 2004 14:14:18 +0200 |
wenzelm |
tuned document;
|
file |
diff |
annotate
|
Mon, 29 Mar 2004 15:35:04 +0200 |
skalberg |
Added bitvector library (Word) to HOL/Library and a theory using it (Adder)
|
file |
diff |
annotate
|
Tue, 27 Jan 2004 15:39:51 +0100 |
paulson |
replacing HOL/Real/PRat, PNat by the rational number development
|
file |
diff |
annotate
|
Mon, 24 Nov 2003 15:33:07 +0100 |
paulson |
conversion of integers to use Ring_and_Field;
|
file |
diff |
annotate
|
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
|