src/Pure/Thy/export_theory.ML
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;