src/Pure/Thy/export_theory.scala
12 months ago wenzelm 2018-08-03 tuned signature -- removed somewhat pointless operation;
12 months ago wenzelm 2018-08-03 more operations;
12 months ago wenzelm 2018-08-03 more explicit entity kind;
12 months ago wenzelm 2018-08-02 tuned signature: more operations;
12 months ago wenzelm 2018-08-02 tuned signature;
12 months ago wenzelm 2018-08-02 always export Pure theory;
14 months ago wenzelm 2018-06-11 more abstract Export.Provider;
14 months ago wenzelm 2018-06-01 tuned signature;
15 months ago wenzelm 2018-05-26 export sort algebra;
15 months ago wenzelm 2018-05-24 more scalable JVM memory management;
15 months ago wenzelm 2018-05-24 more exports; read_session: proper signature;
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;