Mon, 12 Sep 2011 07:55:43 +0200 |
nipkow |
new fastforce replacing fastsimp - less confusing name
|
file |
diff |
annotate
|
Mon, 26 Jul 2010 17:41:26 +0200 |
wenzelm |
modernized/unified some specifications;
|
file |
diff |
annotate
|
Wed, 26 May 2010 16:28:55 +0200 |
haftmann |
dropped legacy theorem bindings
|
file |
diff |
annotate
|
Mon, 01 Mar 2010 13:40:23 +0100 |
haftmann |
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
|
file |
diff |
annotate
|
Wed, 10 Feb 2010 00:45:16 +0100 |
wenzelm |
modernized syntax translations, using mostly abbreviation/notation;
|
file |
diff |
annotate
|
Fri, 27 Nov 2009 08:42:50 +0100 |
haftmann |
Inl and Inr now with authentic syntax
|
file |
diff |
annotate
|
Tue, 30 Dec 2008 21:46:48 +0100 |
wenzelm |
canonical Term.add_var_names;
|
file |
diff |
annotate
|
Mon, 16 Jun 2008 22:13:46 +0200 |
wenzelm |
inst1_tac: proper context;
|
file |
diff |
annotate
|
Wed, 07 May 2008 10:59:20 +0200 |
berghofe |
Locally deleted some definitions that were applied too eagerly because
|
file |
diff |
annotate
|
Wed, 19 Mar 2008 22:50:42 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Tue, 25 Jul 2006 21:18:01 +0200 |
wenzelm |
tuned ML code;
|
file |
diff |
annotate
|
Wed, 14 Sep 2005 10:13:12 +0200 |
haftmann |
introduces AList.lookup
|
file |
diff |
annotate
|
Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
Tue, 31 May 2005 11:53:12 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 21 Apr 2005 18:56:03 +0200 |
berghofe |
Made inst1_tac more robust against changes of variable indices.
|
file |
diff |
annotate
|