src/Pure/Build/export_theory.ML
changeset 82999 9dc2e3155257
parent 81512 c1aa8a61ee65