src/Pure/Thy/export_theory.scala
11 months ago wenzelm 2018-05-17 export more theory and session structure;
11 months ago wenzelm 2018-05-17 read theory content from session database;
11 months ago wenzelm 2018-05-13 more uniform types vs. consts;
11 months ago wenzelm 2018-05-13 more concise information;
11 months ago wenzelm 2018-05-13 export foundational theory content in Scala;