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