src/Pure/conjunction.ML
2007-08-13 ago SimpleSyntax.read_prop;
2007-07-03 ago removed obsolete mk_conjunction_list, intr/elim_list;
2007-06-19 ago balanced conjunctions;
2006-11-28 ago simplified '?' operator;
2006-09-21 ago Thm.dest_binop;
2006-09-12 ago intr/elim: use constant complexity thanks to tuned Thm.instantiate/implies_elim;
2006-07-30 ago Thm.adjust_maxidx;
2006-07-29 ago added mk_conjunction_list;
2006-07-27 ago eliminated obsolete freeze_thaw;
2006-04-13 ago Meta-level conjunction.