src/Pure/assumption.ML
2009-03-12 wenzelm 2009-03-12 tuned;
2009-03-12 wenzelm 2009-03-12 renamed assms_of to all_assms_of, and prems_of to all_prems_of; added local_assms_of, local_prems_of; removed unused add_view;
2009-01-21 wenzelm 2009-01-21 eliminated obsolete var morphism;
2009-01-21 haftmann 2009-01-21 binding replaces bstring
2008-12-04 haftmann 2008-12-04 cleaned up binding module and related code
2008-03-28 wenzelm 2008-03-28 Context.>> : operate on Context.generic;
2008-03-27 wenzelm 2008-03-27 eliminated delayed theory setup
2008-03-25 wenzelm 2008-03-25 setup for dynamic "prems" (legacy);
2007-05-07 wenzelm 2007-05-07 simplified DataFun interfaces;
2006-12-06 wenzelm 2006-12-06 export: added explicit term operation; tuned export_morphism -- lean closure;
2006-11-30 wenzelm 2006-11-30 qualified MetaSimplifier.norm_hhf(_protect);
2006-11-29 wenzelm 2006-11-29 assms_of: cterm;
2006-11-24 wenzelm 2006-11-24 added export_morphism;
2006-08-02 wenzelm 2006-08-02 simplified export: no Seq.seq; normalized Proof.context/method type aliases;
2006-07-27 wenzelm 2006-07-27 Local assumptions, parameterized by export rules.