| Fri, 13 May 2011 23:24:06 +0200 |
wenzelm |
make ZF_cs snapshot after final setup;
|
file |
diff |
annotate
|
| Fri, 22 Apr 2011 13:58:13 +0200 |
wenzelm |
modernized Quantifier1 simproc setup;
|
file |
diff |
annotate
|
| Mon, 20 Dec 2010 16:44:33 +0100 |
wenzelm |
proper identifiers for consts and types;
|
file |
diff |
annotate
|
| Thu, 28 Oct 2010 23:19:52 +0200 |
wenzelm |
discontinued obsolete ML antiquotation @{theory_ref};
|
file |
diff |
annotate
|
| Wed, 25 Aug 2010 18:36:22 +0200 |
wenzelm |
renamed Simplifier.simproc(_i) to Simplifier.simproc_global(_i) to emphasize that this is not the real thing;
|
file |
diff |
annotate
|
| Wed, 18 Aug 2010 12:08:21 +0200 |
haftmann |
more antiquotations
|
file |
diff |
annotate
|
| Thu, 29 Apr 2010 22:56:32 +0200 |
wenzelm |
proper context for mksimps etc. -- via simpset of the running Simplifier;
|
file |
diff |
annotate
|
| Sat, 13 Mar 2010 16:44:12 +0100 |
wenzelm |
removed old CVS Ids;
|
file |
diff |
annotate
|
| Sun, 28 Feb 2010 22:30:51 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2009 23:28:10 +0200 |
wenzelm |
replaced String.concat by implode;
|
file |
diff |
annotate
|
| Sat, 29 Mar 2008 22:56:01 +0100 |
wenzelm |
functional theory setup -- requires linear access;
|
file |
diff |
annotate
|
| Sun, 07 Oct 2007 21:19:31 +0200 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
| Wed, 03 Oct 2007 22:33:17 +0200 |
wenzelm |
avoid unnamed infixes;
|
file |
diff |
annotate
|
| Sat, 21 Jan 2006 23:02:28 +0100 |
wenzelm |
removed duplicate type_solver (cf. Tools/typechk.ML);
|
file |
diff |
annotate
|
| Thu, 01 Dec 2005 22:03:01 +0100 |
wenzelm |
unfold_tac: static evaluation of simpset;
|
file |
diff |
annotate
|