| #
e60cf64d |
|
06-Jan-2019 |
wenzelm <none@none> |
isabelle update -u path_cartouches;
|
| #
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;
|
| #
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
| #
39978f9c |
|
01-Feb-2014 |
wenzelm <none@none> |
misc tuning and modernization;
|
| #
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;
|
| #
9b4853bb |
|
23-Apr-2011 |
wenzelm <none@none> |
modernized specifications;
|
| #
adfe6cf9 |
|
17-Dec-2010 |
wenzelm <none@none> |
replaced command 'nonterminals' by slightly modernized version 'nonterminal';
|
| #
308c65f5 |
|
20-Sep-2010 |
wenzelm <none@none> |
renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
--HG--
rename : src/Pure/pure_thy.ML => src/Pure/global_theory.ML
|
| #
0c99426e |
|
17-Aug-2010 |
haftmann <none@none> |
deglobalization
|
| #
f2be5829 |
|
02-Mar-2010 |
wenzelm <none@none> |
adapted to authentic syntax -- actual types are verbatim;
|
| #
d1ce3fd8 |
|
25-Feb-2010 |
wenzelm <none@none> |
explicit @{type_syntax} markup;
|
| #
aebe6a56 |
|
11-Feb-2010 |
wenzelm <none@none> |
modernized translations;
formal markup of @{syntax_const} and @{const_syntax};
|
| #
668b65e4 |
|
18-May-2008 |
wenzelm <none@none> |
setup PureThy.old_appl_syntax_setup -- theory Pure provides regular application syntax by default;
|
| #
537d07ee |
|
07-Aug-2007 |
wenzelm <none@none> |
turned Unify flags into configuration options (global only);
|
| #
f913342c |
|
16-Nov-2005 |
wenzelm <none@none> |
Term.betapply;
|
| #
8a247b6e |
|
18-Sep-2005 |
wenzelm <none@none> |
converted to Isar theory format;
|
| #
4ca8e7a3 |
|
31-May-2004 |
wenzelm <none@none> |
removed obsolete sort 'logic';
|
| #
1d403847 |
|
21-May-2004 |
wenzelm <none@none> |
proper use of 'syntax';
|
| #
cee47ab9 |
|
03-Aug-1999 |
paulson <none@none> |
Sara Kalvala: moving the <<...>> notation from LK to Sequents
|
| #
e1d4d394 |
|
28-Jul-1999 |
paulson <none@none> |
removed the unused SeqVar option
|
| #
1c90e2b6 |
|
27-Jul-1999 |
paulson <none@none> |
installation of simplifier and classical reasoner, better rules etc
|
| #
3756d420 |
|
11-Jun-1999 |
paulson <none@none> |
fixed title line; added spacing
|
| #
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)
|