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