src/Pure/assumption.ML
Thu, 12 Mar 2009 15:53:14 +0100 wenzelm renamed assms_of to all_assms_of, and prems_of to all_prems_of;
Wed, 21 Jan 2009 22:26:49 +0100 wenzelm eliminated obsolete var morphism;
Wed, 21 Jan 2009 16:47:04 +0100 haftmann binding replaces bstring
Thu, 04 Dec 2008 14:43:33 +0100 haftmann cleaned up binding module and related code
Fri, 28 Mar 2008 20:02:04 +0100 wenzelm Context.>> : operate on Context.generic;
Thu, 27 Mar 2008 15:32:15 +0100 wenzelm eliminated delayed theory setup
Tue, 25 Mar 2008 19:39:58 +0100 wenzelm setup for dynamic "prems" (legacy);
Mon, 07 May 2007 00:49:59 +0200 wenzelm simplified DataFun interfaces;
Wed, 06 Dec 2006 21:18:56 +0100 wenzelm export: added explicit term operation;
Thu, 30 Nov 2006 14:17:29 +0100 wenzelm qualified MetaSimplifier.norm_hhf(_protect);
Wed, 29 Nov 2006 04:11:10 +0100 wenzelm assms_of: cterm;
Fri, 24 Nov 2006 22:05:13 +0100 wenzelm added export_morphism;
Wed, 02 Aug 2006 22:26:50 +0200 wenzelm simplified export: no Seq.seq;
Thu, 27 Jul 2006 13:42:59 +0200 wenzelm Local assumptions, parameterized by export rules.
less more (0) tip