src/Pure/Thy/export_theory.ML
Sat, 04 Aug 2018 22:32:41 +0200 wenzelm export in foundational order;
Fri, 29 Jun 2018 14:19:52 +0200 wenzelm disallow hyps in export;
Sat, 26 May 2018 22:02:25 +0200 wenzelm export sort algebra;
Thu, 24 May 2018 16:56:14 +0200 wenzelm more exports;
Sun, 20 May 2018 20:37:11 +0200 wenzelm standardize implicit variables: non-zero indexes do occur occasionally, e.g. via RS;
Sun, 20 May 2018 16:25:27 +0200 wenzelm export facts;
Sun, 20 May 2018 15:37:16 +0200 wenzelm clarified encoding;
Sun, 20 May 2018 15:28:59 +0200 wenzelm more scalable;
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:01:13 +0200 wenzelm misc tuning and clarification;
Wed, 16 May 2018 23:13:33 +0200 wenzelm proper PIDE positions;
Mon, 14 May 2018 11:29:22 +0200 wenzelm more general presentation hook, with document preparation as application;
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 16:51:50 +0200 wenzelm clarified markup;
Sun, 13 May 2018 15:55:30 +0200 wenzelm more exports;
Fri, 11 May 2018 22:59:00 +0200 wenzelm some export of foundational theory content;
less more (0) tip