#
a4bab154 |
|
04-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
#
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;
|
#
ffcd6989 |
|
25-May-2013 |
wenzelm <none@none> |
syntax translations always depend on context;
|
#
25a73f94 |
|
28-Feb-2013 |
wenzelm <none@none> |
eliminated legacy 'axioms';
|
#
10eb7fb0 |
|
15-May-2011 |
wenzelm <none@none> |
simplified/unified method_setup/attribute_setup;
|
#
6b0b29ec |
|
13-Mar-2011 |
wenzelm <none@none> |
tuned headers;
|
#
27ff3609 |
|
06-Sep-2010 |
wenzelm <none@none> |
more antiquotations;
|
#
aebe6a56 |
|
11-Feb-2010 |
wenzelm <none@none> |
modernized translations; formal markup of @{syntax_const} and @{const_syntax};
|
#
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;
|
#
4b291da4 |
|
20-Nov-2006 |
wenzelm <none@none> |
converted legacy ML scripts;
|
#
8a247b6e |
|
18-Sep-2005 |
wenzelm <none@none> |
converted to Isar theory format;
|
#
1d403847 |
|
21-May-2004 |
wenzelm <none@none> |
proper use of 'syntax';
|
#
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)
|