changeset 5925 | 669d0bc621e1 |
parent 5915 | 66f4bde4c6e7 |
child 5938 | fe7640933a47 |
--- a/src/Pure/Isar/isar_thy.ML Wed Nov 18 10:59:44 1998 +0100 +++ b/src/Pure/Isar/isar_thy.ML Wed Nov 18 11:00:02 1998 +0100 @@ -5,8 +5,7 @@ Derived theory operations. TODO: - - add_constdefs (atomic!); - - load theory; + - pure_thy.ML: add_constdefs (atomic!); - 'methods' section (proof macros, ML method defs) (!?); - next_block: ProofHistory open / close (!?); *)