src/Pure/Isar/auto_bind.ML
1999-09-25 ago admit unbinding;
1999-09-04 ago removed Syntax.binding;
1999-09-03 ago "this";
1999-08-24 ago ??thesis: include params;
1999-07-19 ago facts: no statement_binds;
1999-06-07 ago facts: bind named props (from proof.ML/let_thms);
1999-06-05 ago renamed object_logic.ML to Isar/auto_bind.ML and tuned this module;