#
e60cf64d |
|
06-Jan-2019 |
wenzelm <none@none> |
isabelle update -u path_cartouches;
|
#
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;
|
#
ffcd6989 |
|
25-May-2013 |
wenzelm <none@none> |
syntax translations always depend on context;
|
#
e3227796 |
|
22-Aug-2012 |
wenzelm <none@none> |
prefer ML_file over old uses;
|
#
aebe6a56 |
|
11-Feb-2010 |
wenzelm <none@none> |
modernized translations; formal markup of @{syntax_const} and @{const_syntax};
|
#
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';
|
#
1c90e2b6 |
|
27-Jul-1999 |
paulson <none@none> |
installation of simplifier and classical reasoner, better rules etc
|
#
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)
|