2011-04-08 ago discontinued special treatment of structure Syntax_Ext (formerly Syn_Ext);
2011-01-10 ago standardized split_last/last_elem towards List.last;
2010-03-07 ago modernized structure Object_Logic;
2009-11-02 ago modernized structure AutoBind;
2009-01-21 ago removed Ids;
2008-05-16 ago removed obsolete case rule_context;
2008-04-16 ago removed obsolete premsN;
2006-11-21 ago added assmsN;
2006-02-16 ago added premsN;
2006-01-07 ago RuleCases.make_simple;
2005-12-22 ago rule_context: numbered cases;
2005-10-15 ago added no_facts;
2005-09-13 ago added cases, rule_contextN;
2005-02-13 ago Deleted Library.option type.
2004-06-21 ago Merged in license change from Isabelle2004
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;