src/Pure/Thy/export_theory.scala
15 months ago wenzelm 2018-05-20 export facts;
15 months ago wenzelm 2018-05-20 clarified encoding;
15 months ago wenzelm 2018-05-19 tuned queries;
15 months ago wenzelm 2018-05-18 tuned signature;
15 months ago wenzelm 2018-05-18 support Store with options;
15 months ago wenzelm 2018-05-18 more exports;
15 months ago wenzelm 2018-05-17 export more theory and session structure;
15 months ago wenzelm 2018-05-17 read theory content from session database;
15 months ago wenzelm 2018-05-13 more uniform types vs. consts;
15 months ago wenzelm 2018-05-13 more concise information;
15 months ago wenzelm 2018-05-13 export foundational theory content in Scala;