src/Pure/Thy/export_theory.scala
3 months ago wenzelm 2019-07-20 clarified export of sort algebra: avoid logical operations in Isabelle/Scala;
7 months ago wenzelm 2019-03-27 more informative Spec_Rules.Equational: support corecursion;
7 months ago wenzelm 2019-03-26 more informative Spec_Rules.Equational, notably primrec argument types;
7 months ago wenzelm 2019-03-26 export propositional status of consts;
13 months ago wenzelm 2018-09-28 more approximative prefix syntax, including binder;
13 months ago wenzelm 2018-09-28 proper syntax for locale vs. class parameters;
13 months ago wenzelm 2018-09-25 export locale dependencies, with approx. morphism as type/term substitution;
13 months ago wenzelm 2018-09-20 clarified standardization of variables, with proper treatment of local variables; tuned signature; tuned;
13 months ago wenzelm 2018-09-19 export semi-unfolded locale axioms;
14 months ago wenzelm 2018-09-16 export plain infix syntax;
14 months ago wenzelm 2018-09-15 more exports;
14 months ago wenzelm 2018-08-31 clarified signature: proper typargs;
14 months ago wenzelm 2018-08-31 export locale content; read_theory_names: proper classrel, arities; tuned signature;
14 months ago wenzelm 2018-08-28 more robust: Pure entities may lack id;
14 months ago wenzelm 2018-08-28 retain original id, which is command_id/exec_id for PIDE; tuned;
15 months ago wenzelm 2018-08-05 more uniform facts: single vs. multi;
15 months ago wenzelm 2018-08-03 tuned output;
15 months ago wenzelm 2018-08-03 tuned signature -- removed somewhat pointless operation;
15 months ago wenzelm 2018-08-03 more operations;
15 months ago wenzelm 2018-08-03 more explicit entity kind;
15 months ago wenzelm 2018-08-02 tuned signature: more operations;
15 months ago wenzelm 2018-08-02 tuned signature;
15 months ago wenzelm 2018-08-02 always export Pure theory;
17 months ago wenzelm 2018-06-11 more abstract Export.Provider;
17 months ago wenzelm 2018-06-01 tuned signature;
17 months ago wenzelm 2018-05-26 export sort algebra;
17 months ago wenzelm 2018-05-24 more scalable JVM memory management;
17 months ago wenzelm 2018-05-24 more exports; read_session: proper signature;
18 months ago wenzelm 2018-05-20 export facts;
18 months ago wenzelm 2018-05-20 clarified encoding;
18 months ago wenzelm 2018-05-19 tuned queries;
18 months ago wenzelm 2018-05-18 tuned signature;
18 months ago wenzelm 2018-05-18 support Store with options;
18 months ago wenzelm 2018-05-18 more exports;
18 months ago wenzelm 2018-05-17 export more theory and session structure;
18 months ago wenzelm 2018-05-17 read theory content from session database;
18 months ago wenzelm 2018-05-13 more uniform types vs. consts;
18 months ago wenzelm 2018-05-13 more concise information;
18 months ago wenzelm 2018-05-13 export foundational theory content in Scala;