src/Pure/Thy/export_theory.ML
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;