Fri, 28 Aug 2009 20:18:33 +0200 |
nipkow |
tuned proofs
|
file |
diff |
annotate
|
Mon, 20 Aug 2007 17:46:31 +0200 |
wenzelm |
theory header: more precise imports;
|
file |
diff |
annotate
|
Thu, 21 Jun 2007 22:10:16 +0200 |
wenzelm |
tuned proofs -- avoid implicit prems;
|
file |
diff |
annotate
|
Wed, 07 Feb 2007 17:44:07 +0100 |
berghofe |
Adapted to new inductive definition package.
|
file |
diff |
annotate
|
Tue, 03 Jan 2006 11:32:55 +0100 |
haftmann |
class now an keyword, quoted where necessary
|
file |
diff |
annotate
|
Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
Thu, 19 Feb 2004 10:41:32 +0100 |
paulson |
moved list_all2I to List.thy
|
file |
diff |
annotate
|
Mon, 26 May 2003 18:36:15 +0200 |
streckem |
Introduced distinction wf_prog vs. ws_prog
|
file |
diff |
annotate
|
Tue, 18 Feb 2003 19:13:47 +0100 |
kleing |
check maxs in defensive machine
|
file |
diff |
annotate
|
Thu, 24 Oct 2002 12:08:33 +0200 |
kleing |
changes for cleanup in JVM
|
file |
diff |
annotate
|
Tue, 08 Oct 2002 14:09:18 +0200 |
kleing |
type safety with defensive machine
|
file |
diff |
annotate
|