src/Pure/Thy/export_theory.scala
Sun, 20 May 2018 15:37:16 +0200 wenzelm clarified encoding;
Sat, 19 May 2018 20:19:15 +0200 wenzelm tuned queries;
Fri, 18 May 2018 17:21:12 +0200 wenzelm tuned signature;
Fri, 18 May 2018 17:09:55 +0200 wenzelm support Store with options;
Fri, 18 May 2018 16:30:20 +0200 wenzelm more exports;
Thu, 17 May 2018 17:29:17 +0200 wenzelm export more theory and session structure;
Thu, 17 May 2018 14:50:48 +0200 wenzelm read theory content from session database;
Sun, 13 May 2018 21:20:28 +0200 wenzelm more uniform types vs. consts;
Sun, 13 May 2018 20:24:33 +0200 wenzelm more concise information;
Sun, 13 May 2018 20:04:59 +0200 wenzelm export foundational theory content in Scala;
less more (0) tip