src/Pure/Thy/thy_load.ML
1999-01-30 ago Theory loader primitives.