src/Pure/conjunction.ML
Tue, 03 Jul 2007 17:17:09 +0200 wenzelm removed obsolete mk_conjunction_list, intr/elim_list;
Tue, 19 Jun 2007 23:15:49 +0200 wenzelm balanced conjunctions;
Tue, 28 Nov 2006 00:35:18 +0100 wenzelm simplified '?' operator;
Thu, 21 Sep 2006 19:04:36 +0200 wenzelm Thm.dest_binop;
Tue, 12 Sep 2006 12:12:39 +0200 wenzelm intr/elim: use constant complexity thanks to tuned Thm.instantiate/implies_elim;
Sun, 30 Jul 2006 21:28:52 +0200 wenzelm Thm.adjust_maxidx;
Sat, 29 Jul 2006 00:51:31 +0200 wenzelm added mk_conjunction_list;
Thu, 27 Jul 2006 15:33:21 +0200 wenzelm eliminated obsolete freeze_thaw;
Thu, 13 Apr 2006 12:00:53 +0200 wenzelm Meta-level conjunction.
less more (0) tip