| Tue, 01 Sep 2009 16:00:57 +0200 |
haftmann |
some reorganization of number theory
|
file |
diff |
annotate
|
| Wed, 08 Oct 2008 19:20:29 +0200 |
wenzelm |
setmp_noncritical makes it work with future scheduler;
|
file |
diff |
annotate
|
| Wed, 08 Nov 2006 23:11:13 +0100 |
wenzelm |
moved theories Parity, GCD, Binomial to Library;
|
file |
diff |
annotate
|
| Thu, 29 Sep 2005 00:59:03 +0200 |
wenzelm |
HOL4 image is back;
|
file |
diff |
annotate
|
| Mon, 26 Sep 2005 08:50:21 +0200 |
obua |
tuned
|
file |
diff |
annotate
|
| Mon, 26 Sep 2005 02:27:14 +0200 |
obua |
fixed disambiguation problem
|
file |
diff |
annotate
|
| Fri, 01 Apr 2005 18:59:17 +0200 |
skalberg |
Updated import configuration.
|
file |
diff |
annotate
|
| Sat, 01 May 2004 22:07:16 +0200 |
wenzelm |
removed 'constdefs' hack;
|
file |
diff |
annotate
|
| Thu, 22 Apr 2004 11:02:22 +0200 |
wenzelm |
tmp hack get back to old 'constdefs';
|
file |
diff |
annotate
|
| Sat, 17 Apr 2004 23:53:35 +0200 |
skalberg |
Minor cleanup of headers and some speedup of the HOL4 import.
|
file |
diff |
annotate
|
| Fri, 02 Apr 2004 17:37:45 +0200 |
skalberg |
Added HOL proof importer.
|
file |
diff |
annotate
|