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 |