Wed, 28 Apr 2010 12:07:52 +0200 |
wenzelm |
renamed command 'defaultsort' to 'default_sort';
|
file |
diff |
annotate
|
Thu, 18 Feb 2010 13:29:59 -0800 |
huffman |
get rid of warnings about duplicate simp rules in all HOLCF theories
|
file |
diff |
annotate
|
Wed, 17 Feb 2010 10:00:22 -0800 |
huffman |
remove $ from all HOLCF files
|
file |
diff |
annotate
|
Wed, 25 Jun 2008 21:25:51 +0200 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
Thu, 20 Mar 2008 12:09:20 +0100 |
haftmann |
more antiquotations
|
file |
diff |
annotate
|
Sun, 21 Oct 2007 14:21:48 +0200 |
wenzelm |
modernized specifications ('definition', 'abbreviation', 'notation');
|
file |
diff |
annotate
|
Sat, 27 May 2006 21:18:51 +0200 |
wenzelm |
removed legacy ML scripts;
|
file |
diff |
annotate
|
Sat, 03 Sep 2005 16:50:22 +0200 |
wenzelm |
converted to Isar theory format;
|
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, 15 Nov 2001 23:25:46 +0100 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
Wed, 02 Dec 1998 15:55:39 +0100 |
mueller |
Memory storage case study from PhD p.240;
|
file |
diff |
annotate
|