src/Pure/Thy/export_theory.ML
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 retain original id, which is command_id/exec_id for PIDE; tuned;
15 months ago wenzelm 2018-08-06 export shyps as regular typargs;
15 months ago wenzelm 2018-08-05 more uniform facts: single vs. multi;
15 months ago wenzelm 2018-08-05 explicit names for bound variables;
15 months ago wenzelm 2018-08-04 export in foundational order;
16 months ago wenzelm 2018-06-29 disallow hyps in export; handle extra shyps as explicit sort constraints;
17 months ago wenzelm 2018-05-26 export sort algebra;
17 months ago wenzelm 2018-05-24 more exports; read_session: proper signature;
18 months ago wenzelm 2018-05-20 standardize implicit variables: non-zero indexes do occur occasionally, e.g. via RS;
18 months ago wenzelm 2018-05-20 export facts;
18 months ago wenzelm 2018-05-20 clarified encoding;
18 months ago wenzelm 2018-05-20 more scalable;
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 misc tuning and clarification;
18 months ago wenzelm 2018-05-16 proper PIDE positions;
18 months ago wenzelm 2018-05-14 more general presentation hook, with document preparation as application;
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 clarified markup;
18 months ago wenzelm 2018-05-13 more exports; misc tuning and clarification;
18 months ago wenzelm 2018-05-11 some export of foundational theory content;