src/Pure/assumption.ML
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