Wed, 07 Sep 2005 20:22:39 +0200 |
wenzelm |
converted to Isar theory format;
|
file |
diff |
annotate
|
Fri, 11 Jul 2003 14:12:06 +0200 |
oheimb |
added map_image, restrict_map, some thms
|
file |
diff |
annotate
|
Thu, 03 Aug 2000 19:29:03 +0200 |
wenzelm |
tuned version by Stephan Merz (unbatchified etc.);
|
file |
diff |
annotate
|
Mon, 18 Oct 1999 18:38:21 +0200 |
wenzelm |
update by Stephan Merz;
|
file |
diff |
annotate
|
Wed, 03 Mar 1999 11:15:18 +0100 |
paulson |
expandshort
|
file |
diff |
annotate
|
Mon, 08 Feb 1999 13:02:56 +0100 |
wenzelm |
updated (Stephan Merz);
|
file |
diff |
annotate
|
Wed, 24 Dec 1997 10:02:30 +0100 |
paulson |
New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort
|
file |
diff |
annotate
|
Mon, 03 Nov 1997 12:13:18 +0100 |
wenzelm |
isatool fixclasimp;
|
file |
diff |
annotate
|
Mon, 20 Oct 1997 11:14:55 +0200 |
wenzelm |
adapted to qualified names;
|
file |
diff |
annotate
|
Wed, 08 Oct 1997 11:50:33 +0200 |
wenzelm |
A formalization of TLA in HOL -- by Stephan Merz;
|
file |
diff |
annotate
|