Thu, 11 Feb 2010 21:31:50 +0100 |
wenzelm |
modernized syntax/translations;
|
file |
diff |
annotate
|
Wed, 11 Nov 2009 14:15:11 +0100 |
wenzelm |
uniform use of simultabeous use_thys;
|
file |
diff |
annotate
|
Mon, 31 Dec 2007 19:36:29 +0100 |
wenzelm |
removed obsolete banner;
|
file |
diff |
annotate
|
Sat, 15 Sep 2007 19:27:35 +0200 |
haftmann |
fixed title
|
file |
diff |
annotate
|
Wed, 07 Sep 2005 20:22:39 +0200 |
wenzelm |
converted to Isar theory format;
|
file |
diff |
annotate
|
Tue, 30 May 2000 16:08:38 +0200 |
wenzelm |
cleaned up;
|
file |
diff |
annotate
|
Thu, 11 Mar 1999 13:20:35 +0100 |
wenzelm |
removed foo_build_completed -- now handled by session management (via usedir);
|
file |
diff |
annotate
|
Mon, 08 Feb 1999 13:02:56 +0100 |
wenzelm |
updated (Stephan Merz);
|
file |
diff |
annotate
|
Tue, 28 Jul 1998 17:05:34 +0200 |
wenzelm |
removed global_names flag;
|
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, 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
|