Thu, 09 Dec 2004 18:30:59 +0100 |
nipkow |
First step in reorganizing Finite_Set
|
file |
diff |
annotate
|
Wed, 03 Dec 2003 10:49:34 +0100 |
paulson |
Simplification of the development of Integers
|
file |
diff |
annotate
|
Wed, 24 Jul 2002 22:15:55 +0200 |
wenzelm |
simplified locale predicates;
|
file |
diff |
annotate
|
Fri, 19 Jul 2002 18:44:37 +0200 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
Tue, 16 Jul 2002 18:26:09 +0200 |
wenzelm |
adapted to locale defs;
|
file |
diff |
annotate
|
Thu, 10 Jan 2002 01:10:58 +0100 |
wenzelm |
qualified exports from locales;
|
file |
diff |
annotate
|
Mon, 22 Oct 2001 11:54:22 +0200 |
paulson |
Numerals now work for the integers: the binary numerals for 0 and 1 rewrite
|
file |
diff |
annotate
|
Fri, 05 Oct 2001 21:52:39 +0200 |
wenzelm |
sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
|
file |
diff |
annotate
|
Tue, 04 Sep 2001 21:10:57 +0200 |
wenzelm |
renamed "antecedent" case to "rule_context";
|
file |
diff |
annotate
|
Sun, 04 Feb 2001 19:31:13 +0100 |
wenzelm |
HOL-NumberTheory: converted to new-style format and proper document setup;
|
file |
diff |
annotate
|
Thu, 03 Aug 2000 10:46:01 +0200 |
paulson |
Chinese Remainder Theorem, Wilsons Theorem, etc., by T M Masmussen
|
file |
diff |
annotate
|