src/Pure/conjunction.ML
Thu, 09 Jun 2011 20:22:22 +0200 wenzelm tuned signature: Name.invent and Name.invent_names;
Sat, 27 Mar 2010 15:20:31 +0100 wenzelm moved Drule.forall_intr_frees to Thm.forall_intr_frees (in more_thm.ML, which is loaded before pure_thy.ML);
Sat, 20 Mar 2010 17:33:11 +0100 wenzelm renamed varify/unvarify operations to varify_global/unvarify_global to emphasize that these only work in a global situation;
Mon, 02 Nov 2009 20:34:59 +0100 wenzelm modernized structure Simple_Syntax;
Wed, 28 Oct 2009 16:25:26 +0100 wenzelm Drule.store: proper binding;
Tue, 29 Sep 2009 22:48:24 +0200 wenzelm modernized Balanced_Tree;
Tue, 31 Mar 2009 21:31:04 +0200 wenzelm added dest_conjunctions (cf. Logic.dest_conjunctions);
Wed, 21 Jan 2009 23:21:44 +0100 wenzelm removed Ids;
Thu, 20 Nov 2008 00:03:47 +0100 wenzelm Pure syntax: more coherent treatment of aprop, permanent TERM and &&&;
Thu, 23 Oct 2008 15:28:01 +0200 wenzelm renamed Thm.get_axiom_i to Thm.axiom;
Tue, 15 Apr 2008 16:12:05 +0200 wenzelm Thm.forall_elim_var(s);
Sat, 29 Mar 2008 19:14:07 +0100 wenzelm certify wrt. dynamic context;
Thu, 27 Mar 2008 14:41:09 +0100 wenzelm eliminated theory ProtoPure;
Thu, 11 Oct 2007 19:10:17 +0200 wenzelm moved Drule.unvarify to Thm.unvarify (cf. more_thm.ML);
Mon, 13 Aug 2007 18:10:18 +0200 wenzelm SimpleSyntax.read_prop;
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