src/Pure/Isar/auto_bind.ML
2000-03-30 ago ?this: support params;
2000-02-10 ago add_judgment;
1999-10-01 ago added atomic_thesis;
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;