Sat, 08 Jan 2005 09:30:16 +0100 |
nipkow |
new citation
|
file |
diff |
annotate
|
Thu, 12 Feb 2004 00:28:23 +0100 |
nipkow |
Missing } inserted
|
file |
diff |
annotate
|
Tue, 10 Feb 2004 12:17:04 +0100 |
paulson |
updated links to the old ftp site
|
file |
diff |
annotate
|
Mon, 15 Dec 2003 17:08:41 +0100 |
paulson |
updated references to the now-pornographic proofgeneral.org
|
file |
diff |
annotate
|
Fri, 26 Sep 2003 11:08:18 +0200 |
paulson |
new reference
|
file |
diff |
annotate
|
Wed, 13 Aug 2003 17:24:59 +0200 |
paulson |
added tutorial
|
file |
diff |
annotate
|
Mon, 13 May 2002 10:40:59 +0200 |
wenzelm |
updated X-Symbol URL;
|
file |
diff |
annotate
|
Mon, 04 Mar 2002 13:56:12 +0100 |
berghofe |
Tuned some references to LNCS volumes.
|
file |
diff |
annotate
|
Tue, 19 Feb 2002 23:49:49 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 12 Feb 2002 20:32:23 +0100 |
wenzelm |
added isabelle-hol-book;
|
file |
diff |
annotate
|
Tue, 08 Jan 2002 00:02:25 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 02 Jan 2002 21:52:15 +0100 |
wenzelm |
added isabelle-intro, isabelle-logics;
|
file |
diff |
annotate
|
Mon, 31 Dec 2001 14:13:07 +0100 |
berghofe |
Added "Executing higher order logic" paper.
|
file |
diff |
annotate
|
Tue, 11 Dec 2001 16:00:26 +0100 |
wenzelm |
added HOL-Library;
|
file |
diff |
annotate
|
Thu, 29 Nov 2001 20:02:23 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|