| Mon, 01 Dec 2008 15:36:48 -0800 |
huffman |
clean up imports related to ContNotDenum
|
file |
diff |
annotate
|
| Thu, 20 Nov 2008 19:43:34 +0100 |
wenzelm |
reactivated some dead theories (based on hints by Mark Hillebrand);
|
file |
diff |
annotate
|
| Fri, 11 Jul 2008 09:02:23 +0200 |
haftmann |
tuned import
|
file |
diff |
annotate
|
| Thu, 03 Jul 2008 17:58:10 +0200 |
huffman |
removed nonstandard analysis theories to HOL-NSA
|
file |
diff |
annotate
|
| Thu, 26 Jun 2008 10:07:01 +0200 |
haftmann |
established Plain theory and image
|
file |
diff |
annotate
|
| Mon, 25 Feb 2008 11:27:02 +0100 |
chaieb |
Now imports Funamental_Theorem_Algebra
|
file |
diff |
annotate
|
| Wed, 16 May 2007 23:03:45 +0200 |
huffman |
minimize imports
|
file |
diff |
annotate
|
| Fri, 13 Apr 2007 01:06:12 +0200 |
huffman |
minimize imports
|
file |
diff |
annotate
|
| 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, 08 May 2003 17:44:38 +0200 |
paulson |
new theory Complex_Main as basis for analysis developments
|
file |
diff |
annotate
|