src/Pure/Isar/auto_bind.ML
1999-06-05 wenzelm 1999-06-05 renamed object_logic.ML to Isar/auto_bind.ML and tuned this module;