| Sat, 13 Mar 2010 20:15:25 -0800 |
huffman |
renamed some lemmas generated by the domain package
|
file |
diff |
annotate
|
| Tue, 02 Mar 2010 20:36:07 -0800 |
huffman |
adapt to changed variable name in casedist theorem
|
file |
diff |
annotate
|
| Wed, 24 Feb 2010 14:20:07 -0800 |
huffman |
change domain package's treatment of variable names in theorems to be like datatype package
|
file |
diff |
annotate
|
| Wed, 17 Feb 2010 09:08:58 -0800 |
huffman |
fix warnings about duplicate simp rules
|
file |
diff |
annotate
|
| 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
|