src/Pure/Isar/auto_bind.ML
2001-11-19 ago fixed comment;
2001-11-11 ago facts: multiple args;
2001-10-14 ago use ObjectLogic;
2001-01-06 ago added drop_judgment;
2000-11-03 ago added atomic_judgment;
2000-10-30 ago improved statement bindings for props;
2000-07-30 ago added is_judgment;
2000-07-13 ago export thesisN separately;
2000-05-05 ago GPLed;
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;