| #
0bd0d17f |
|
10-Oct-2015 |
wenzelm <none@none> |
more symbols;
|
| #
c333f2c0 |
|
10-Oct-2015 |
wenzelm <none@none> |
more symbols;
|
| #
8ecffcf0 |
|
23-Jul-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
| #
63a76875 |
|
14-Dec-2013 |
wenzelm <none@none> |
proper context for basic Simplifier operations: rewrite_rule, rewrite_goals_rule, rewrite_goals_tac etc.;
clarified tool context in some boundary cases;
|
| #
25a73f94 |
|
28-Feb-2013 |
wenzelm <none@none> |
eliminated legacy 'axioms';
|
| #
10eb7fb0 |
|
15-May-2011 |
wenzelm <none@none> |
simplified/unified method_setup/attribute_setup;
|
| #
27ff3609 |
|
06-Sep-2010 |
wenzelm <none@none> |
more antiquotations;
|
| #
458a4961 |
|
13-Mar-2010 |
wenzelm <none@none> |
removed old CVS Ids;
tuned headers;
|
| #
b1258973 |
|
16-Mar-2009 |
wenzelm <none@none> |
simplified method setup;
|
| #
77d6b267 |
|
13-Mar-2009 |
wenzelm <none@none> |
unified type Proof.method and pervasive METHOD combinators;
|
| #
1ecbd0a3 |
|
29-Nov-2006 |
wenzelm <none@none> |
tuned spaces/comments;
|
| #
4b291da4 |
|
20-Nov-2006 |
wenzelm <none@none> |
converted legacy ML scripts;
|
| #
8a247b6e |
|
18-Sep-2005 |
wenzelm <none@none> |
converted to Isar theory format;
|
| #
16062ce3 |
|
09-Oct-1996 |
paulson <none@none> |
New unified treatment of sequent calculi by Sara Kalvala
combines the old LK and Modal with the new ILL (Int. Linear Logic)
|