src/Pure/conjunction.ML
2006-09-21 wenzelm 2006-09-21 Thm.dest_binop;
2006-09-12 wenzelm 2006-09-12 intr/elim: use constant complexity thanks to tuned Thm.instantiate/implies_elim;
2006-07-30 wenzelm 2006-07-30 Thm.adjust_maxidx;
2006-07-29 wenzelm 2006-07-29 added mk_conjunction_list;
2006-07-27 wenzelm 2006-07-27 eliminated obsolete freeze_thaw;
2006-04-13 wenzelm 2006-04-13 Meta-level conjunction.