src/Pure/Isar/local_defs.ML
1999-09-07 ago tuned;
1999-09-01 ago Thm.def_name;
1999-08-18 ago assume: multiple args;
1999-07-13 ago handle cgoal;
1999-07-09 ago added Isar/local_defs.ML;