src/Pure/Isar/isar_thy.ML
1998-11-09 ago Derived theory operations.