src/Pure/Isar/auto_bind.ML
2011-04-08 wenzelm 2011-04-08 discontinued special treatment of structure Syntax_Ext (formerly Syn_Ext); clarified Syntax.root;
2011-01-10 wenzelm 2011-01-10 standardized split_last/last_elem towards List.last; eliminated obsolete Library.last_elem;
2010-03-07 wenzelm 2010-03-07 modernized structure Object_Logic;
2009-11-02 wenzelm 2009-11-02 modernized structure AutoBind;
2009-01-21 wenzelm 2009-01-21 removed Ids;
2008-05-16 wenzelm 2008-05-16 removed obsolete case rule_context;
2008-04-16 wenzelm 2008-04-16 removed obsolete premsN;
2006-11-21 wenzelm 2006-11-21 added assmsN;
2006-02-16 wenzelm 2006-02-16 added premsN;
2006-01-07 wenzelm 2006-01-07 RuleCases.make_simple;
2005-12-22 wenzelm 2005-12-22 rule_context: numbered cases;
2005-10-15 wenzelm 2005-10-15 added no_facts;
2005-09-13 wenzelm 2005-09-13 added cases, rule_contextN; eliminated obsolete Sign.sg;
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-11-19 wenzelm 2001-11-19 fixed comment; goal: unbind if multiple statements;
2001-11-11 wenzelm 2001-11-11 facts: multiple args;
2001-10-14 wenzelm 2001-10-14 use ObjectLogic;
2001-01-06 wenzelm 2001-01-06 added drop_judgment;
2000-11-03 wenzelm 2000-11-03 added atomic_judgment;
2000-10-30 wenzelm 2000-10-30 improved statement bindings for props; tuned;
2000-07-30 wenzelm 2000-07-30 added is_judgment; removed atomic_thesis;
2000-07-13 wenzelm 2000-07-13 export thesisN separately;
2000-05-05 wenzelm 2000-05-05 GPLed;
2000-03-30 wenzelm 2000-03-30 ?this: support params;
2000-02-10 wenzelm 2000-02-10 add_judgment;
1999-10-01 wenzelm 1999-10-01 added atomic_thesis;
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;