Mon, 26 Sep 2005 08:41:24 +0200 | haftmann | adjusted web link | file | diff | annotate |
Tue, 06 Sep 2005 21:51:17 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
Mon, 12 Jul 2004 15:05:30 +0200 | oheimb | corrected bibtex entry | file | diff | annotate |
Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
Sat, 01 Dec 2001 18:52:32 +0100 | wenzelm | renamed class "term" to "type" (actually "HOL.type"); | file | diff | annotate |
Thu, 31 May 2001 20:52:51 +0200 | wenzelm | tuned | file | diff | annotate |
Thu, 31 May 2001 16:53:00 +0200 | oheimb | added FOCUS including the One-Element Buffer by Manfred Broy | file | diff | annotate |