| 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
|