src/Pure/Isar/object_logic.ML
2001-12-05 wenzelm 2001-12-05 tuned;
2001-11-28 wenzelm 2001-11-28 theory data: removed obsolete finish method;
2001-11-09 wenzelm 2001-11-09 theory data: finish method;
2001-10-22 wenzelm 2001-10-22 moved object_logic.ML to Isar/object_logic.ML;