Wed, 20 Feb 2008 18:28:16 +0100 |
huffman |
fix proofs involving ile_def
|
file |
diff |
annotate
|
Tue, 31 Jul 2007 23:23:34 +0200 |
wenzelm |
proper path specifications;
|
file |
diff |
annotate
|
Fri, 17 Nov 2006 02:20:03 +0100 |
wenzelm |
more robust syntax for definition/abbreviation/notation;
|
file |
diff |
annotate
|
Fri, 02 Jun 2006 19:41:37 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 01 Jun 2006 23:53:29 +0200 |
huffman |
removed legacy ML scripts
|
file |
diff |
annotate
|
Thu, 03 Nov 2005 00:43:50 +0100 |
huffman |
changed iterate to a continuous type
|
file |
diff |
annotate
|
Tue, 06 Sep 2005 21:51:17 +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
|
Wed, 03 Oct 2001 20:54:16 +0200 |
wenzelm |
tuned parentheses in relational expressions;
|
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
|