| Thu, 23 Jul 2015 14:25:05 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
| Mon, 10 Feb 2014 17:20:11 +0100 |
wenzelm |
prefer vacuous definitional type classes over axiomatic ones;
|
file |
diff |
annotate
|
| Sat, 01 Feb 2014 18:05:03 +0100 |
wenzelm |
proper Simplifier method setup;
|
file |
diff |
annotate
|
| Sat, 01 Feb 2014 18:00:28 +0100 |
wenzelm |
simplified sessions;
|
file |
diff |
annotate
|
| Sat, 01 Feb 2014 17:56:03 +0100 |
wenzelm |
misc tuning and modernization;
|
file |
diff |
annotate
|
| Thu, 18 Apr 2013 17:07:01 +0200 |
wenzelm |
simplifier uses proper Proof.context instead of historic type simpset;
|
file |
diff |
annotate
|
| Thu, 28 Feb 2013 14:22:14 +0100 |
wenzelm |
eliminated legacy 'axioms';
|
file |
diff |
annotate
|
| Mon, 20 Dec 2010 16:44:33 +0100 |
wenzelm |
proper identifiers for consts and types;
|
file |
diff |
annotate
|
| Sat, 13 Mar 2010 16:44:12 +0100 |
wenzelm |
removed old CVS Ids;
|
file |
diff |
annotate
|
| Wed, 09 May 2007 19:37:21 +0200 |
wenzelm |
tuned ML setup;
|
file |
diff |
annotate
|
| Mon, 20 Nov 2006 23:47:10 +0100 |
wenzelm |
converted legacy ML scripts;
|
file |
diff |
annotate
|
| Sun, 18 Sep 2005 15:20:08 +0200 |
wenzelm |
converted to Isar theory format;
|
file |
diff |
annotate
|
| Wed, 28 Jul 1999 13:55:34 +0200 |
paulson |
congruence rule for |-, etc.
|
file |
diff |
annotate
|
| Tue, 27 Jul 1999 18:58:40 +0200 |
paulson |
fixed the comments...
|
file |
diff |
annotate
|
| Tue, 27 Jul 1999 18:50:14 +0200 |
paulson |
Sequents/LK/Nat: new example of simplification in LK
|
file |
diff |
annotate
|