src/Pure/conjunction.ML
2009-11-02 wenzelm modernized structure Simple_Syntax;
2009-10-28 wenzelm Drule.store: proper binding;
2009-09-29 wenzelm modernized Balanced_Tree;
2009-03-31 wenzelm added dest_conjunctions (cf. Logic.dest_conjunctions);
2009-01-21 wenzelm removed Ids;
2008-11-19 wenzelm Pure syntax: more coherent treatment of aprop, permanent TERM and &&&;
2008-10-23 wenzelm renamed Thm.get_axiom_i to Thm.axiom;
2008-04-15 wenzelm Thm.forall_elim_var(s);
2008-03-29 wenzelm certify wrt. dynamic context;
2008-03-27 wenzelm eliminated theory ProtoPure;
2007-10-11 wenzelm moved Drule.unvarify to Thm.unvarify (cf. more_thm.ML);
2007-08-13 wenzelm SimpleSyntax.read_prop;
2007-07-03 wenzelm removed obsolete mk_conjunction_list, intr/elim_list;
2007-06-19 wenzelm balanced conjunctions;
2006-11-27 wenzelm simplified '?' operator;
2006-09-21 wenzelm Thm.dest_binop;
2006-09-12 wenzelm intr/elim: use constant complexity thanks to tuned Thm.instantiate/implies_elim;
2006-07-30 wenzelm Thm.adjust_maxidx;
2006-07-28 wenzelm added mk_conjunction_list;
2006-07-27 wenzelm eliminated obsolete freeze_thaw;
2006-04-13 wenzelm Meta-level conjunction.
less more (0) tip