#
a4bab154 |
|
04-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
#
4fca696b |
|
11-Jan-2016 |
wenzelm <none@none> |
eliminated old defs;
|
#
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;
|
#
718416cd |
|
01-Feb-2014 |
wenzelm <none@none> |
lazy_pack is default context for ILL;
|
#
a5c8a053 |
|
01-Feb-2014 |
wenzelm <none@none> |
unused;
|
#
39978f9c |
|
01-Feb-2014 |
wenzelm <none@none> |
misc tuning and modernization;
|
#
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;
|
#
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;
|
#
1f37caae |
|
09-May-2007 |
wenzelm <none@none> |
eliminated unnamed infixes;
|
#
f7800759 |
|
29-Nov-2006 |
wenzelm <none@none> |
simplified method setup;
|
#
de34e56f |
|
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)
|