Thu, 23 Jul 2009 18:44:09 +0200 |
wenzelm |
renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset;
|
file |
diff |
annotate
|
Sat, 14 Jun 2008 23:19:51 +0200 |
wenzelm |
proper context for tactics derived from res_inst_tac;
|
file |
diff |
annotate
|
Tue, 10 Jun 2008 16:43:14 +0200 |
wenzelm |
case_split_tac (works without context);
|
file |
diff |
annotate
|
Mon, 09 Jun 2008 17:39:35 +0200 |
wenzelm |
DatatypePackage.case_tac;
|
file |
diff |
annotate
|
Wed, 19 Mar 2008 22:50:42 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Tue, 07 Aug 2007 23:24:10 +0200 |
wenzelm |
tuned ML setup;
|
file |
diff |
annotate
|
Sat, 02 Dec 2006 02:52:02 +0100 |
wenzelm |
TLA: converted legacy ML scripts;
|
file |
diff |
annotate
|
Wed, 07 Sep 2005 20:22:39 +0200 |
wenzelm |
converted to Isar theory format;
|
file |
diff |
annotate
|
Fri, 05 Oct 2001 23:58:52 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 03 Aug 2000 19:29:03 +0200 |
wenzelm |
tuned version by Stephan Merz (unbatchified etc.);
|
file |
diff |
annotate
|
Mon, 08 Feb 1999 13:02:56 +0100 |
wenzelm |
updated (Stephan Merz);
|
file |
diff |
annotate
|
Wed, 08 Oct 1997 11:50:33 +0200 |
wenzelm |
A formalization of TLA in HOL -- by Stephan Merz;
|
file |
diff |
annotate
|