Tue, 10 Jun 2008 15:30:59 +0200 |
haftmann |
whitespace tuning
|
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 20:12:59 +0200 |
wenzelm |
removed obsolete ML files;
|
file |
diff |
annotate
|
Fri, 02 Jun 2006 19:41:37 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 03 May 2006 03:47:15 +0200 |
huffman |
update to reflect changes in inverts/injects lemmas
|
file |
diff |
annotate
|
Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
Wed, 08 Jun 2005 02:28:28 +0200 |
huffman |
fix usage of inverts lemma, which has fewer premises now
|
file |
diff |
annotate
|
Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
Sat, 03 Nov 2001 18:41:13 +0100 |
wenzelm |
converted theory Dnat;
|
file |
diff |
annotate
|
Tue, 09 Jan 2001 15:36:30 +0100 |
nipkow |
` -> $
|
file |
diff |
annotate
|
Fri, 31 Jan 1997 16:56:32 +0100 |
oheimb |
added Classlib.* and Witness.*,
|
file |
diff |
annotate
|