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