| Wed, 24 Jun 2009 21:46:54 +0200 |
wenzelm |
standard naming conventions for session and theories;
|
file |
diff |
annotate
|
| Tue, 03 May 2005 10:25:30 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Mon, 02 May 2005 18:46:52 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Mon, 07 Mar 2005 19:17:07 +0100 |
webertj |
HTML 4.01 Transitional conformity
|
file |
diff |
annotate
|
| Sun, 14 Nov 2004 01:40:27 +0100 |
webertj |
DOCTYPE declaration added
|
file |
diff |
annotate
|
| Mon, 12 Apr 2004 23:59:19 +0200 |
kleing |
remove MiniML and Lex (moved to AFP)
|
file |
diff |
annotate
|
| Tue, 13 May 2003 08:59:21 +0200 |
kleing |
HOL-Real -> HOL-Complex
Isabelle2003
|
file |
diff |
annotate
|
| Mon, 10 Mar 2003 12:53:27 +0100 |
paulson |
spelling
|
file |
diff |
annotate
|
| Wed, 18 Oct 2000 23:40:38 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 06 Oct 2000 16:14:03 +0200 |
wenzelm |
updated, improved;
|
file |
diff |
annotate
|
| Sat, 02 Sep 2000 21:56:24 +0200 |
wenzelm |
HOL/Lambda: converted into new-style theory and document;
|
file |
diff |
annotate
|
| Sat, 30 Oct 1999 20:21:46 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 04 Oct 1999 21:34:20 +0200 |
wenzelm |
added BVC;
|
file |
diff |
annotate
|
| Thu, 30 Sep 1999 20:49:06 +0200 |
wenzelm |
Real/HahnBanach;
|
file |
diff |
annotate
|
| Fri, 20 Aug 1999 15:41:19 +0200 |
wenzelm |
AxClasses, Isar_examples;
|
file |
diff |
annotate
|