src/Pure/Thy/export_theory.ML
18 months ago wenzelm 2018-05-13 more concise information;
18 months ago wenzelm 2018-05-13 clarified markup;
18 months ago wenzelm 2018-05-13 more exports; misc tuning and clarification;
18 months ago wenzelm 2018-05-11 some export of foundational theory content;