src/ZF/Tools/typechk.ML
Tue, 25 Jul 2006 21:17:58 +0200 wenzelm Drule.merge_rules;
Sat, 21 Jan 2006 23:02:29 +0100 wenzelm simplified type attribute;
Thu, 19 Jan 2006 21:22:08 +0100 wenzelm setup: theory -> theory;
Mon, 17 Oct 2005 23:10:24 +0200 wenzelm added type_solver (uses Simplifier.the_context);
Tue, 16 Aug 2005 13:42:26 +0200 wenzelm OuterKeyword;
Wed, 13 Jul 2005 16:07:21 +0200 wenzelm improved Net interface;
Fri, 17 Jun 2005 18:35:27 +0200 wenzelm accomodate change of TheoryDataFun;
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions.
Fri, 30 Jul 2004 10:44:27 +0200 wenzelm added context type solver;
Tue, 07 May 2002 14:26:32 +0200 wenzelm use eq_thm_prop instead of slightly inadequate eq_thm;
Wed, 28 Nov 2001 00:46:26 +0100 wenzelm theory data: removed obsolete finish method;
Thu, 15 Nov 2001 18:15:13 +0100 wenzelm added TCSET(') tacticals;
Wed, 14 Nov 2001 23:19:09 +0100 wenzelm Isar attribute and method setup;
Thu, 08 Nov 2001 23:59:37 +0100 wenzelm theory data: finish method;
Fri, 30 Apr 1999 18:10:03 +0200 wenzelm theory data: copy;
Wed, 27 Jan 1999 10:31:31 +0100 paulson new typechecking solver for the simplifier
Wed, 13 Jan 1999 11:57:09 +0100 paulson datatype package improvements
Mon, 28 Dec 1998 16:57:02 +0100 paulson moved from ZF to new subdirectory Tools
less more (0) tip