src/Pure/defs.ML
Wed, 24 May 2006 01:05:01 +0200 wenzelm tuned;
Tue, 23 May 2006 13:55:01 +0200 wenzelm export plain_args;
Mon, 22 May 2006 22:29:15 +0200 wenzelm specifications_of: lhs/rhs represented as typargs;
Sat, 20 May 2006 23:45:37 +0200 wenzelm made smlnj happy;
Sat, 20 May 2006 23:37:02 +0200 wenzelm yet another re-implementation:
Sat, 13 May 2006 02:51:37 +0200 wenzelm actually reject malformed defs;
Fri, 12 May 2006 18:11:09 +0200 wenzelm tuned;
Fri, 12 May 2006 01:01:08 +0200 wenzelm improved propagate_deps;
Thu, 11 May 2006 19:15:13 +0200 wenzelm allow dependencies of disjoint collections of instances;
Mon, 08 May 2006 17:40:06 +0200 wenzelm simple substructure test for typargs (independent type constructors);
Fri, 05 May 2006 19:32:33 +0200 wenzelm specifications_of: more detailed information;
Thu, 27 Apr 2006 15:06:35 +0200 wenzelm tuned basic list operators (flat, maps, map_filter);
Thu, 06 Apr 2006 16:07:44 +0200 haftmann exported specification names
Sat, 25 Feb 2006 15:11:35 +0100 haftmann added more detailed data to consts
Wed, 15 Feb 2006 21:35:00 +0100 wenzelm specifications_of: avoid partiality;
Wed, 15 Feb 2006 17:09:06 +0100 haftmann exported specifications_of
Sun, 12 Feb 2006 21:34:18 +0100 wenzelm simplified TableFun.join;
Thu, 27 Oct 2005 13:54:42 +0200 wenzelm removed inappropriate monomorphic test;
Sat, 08 Oct 2005 22:39:41 +0200 wenzelm more efficient check_specified, much less invocations;
Thu, 29 Sep 2005 01:12:16 +0200 wenzelm make signature constraint actually work;
Thu, 29 Sep 2005 01:09:39 +0200 wenzelm activate signature constraints;
Thu, 29 Sep 2005 00:59:00 +0200 wenzelm back to simple 'defs' (cf. revision 1.79 of theory.ML);
Tue, 27 Sep 2005 14:41:41 +0200 obua corrected spelling bug
Tue, 27 Sep 2005 14:39:35 +0200 obua added defs disclaimer
Thu, 15 Sep 2005 17:16:56 +0200 wenzelm TableFun/Symtab: curried lookup and update;
Thu, 01 Sep 2005 22:15:10 +0200 wenzelm curried_lookup/update;
Mon, 01 Aug 2005 19:20:36 +0200 wenzelm chain_history: turned into runtime flag;
Thu, 28 Jul 2005 15:19:53 +0200 wenzelm Type.raw_instance, Type.raw_unify, Term.zero_var_indexesT;
Tue, 19 Jul 2005 17:21:49 +0200 wenzelm tuned interfaces declare, define, finalize, merge:
Thu, 14 Jul 2005 19:28:20 +0200 wenzelm use existing Inttab;
Thu, 14 Jul 2005 14:05:48 +0200 obua - fixed bug concerning the renaming of axiom names
Mon, 11 Jul 2005 14:52:55 +0200 obua Improved implementation of Defs.is_overloaded.
Thu, 07 Jul 2005 19:01:04 +0200 obua 1) all theorems in Orderings can now be given as a parameter
Mon, 13 Jun 2005 21:28:57 +0200 obua internalize axiom names in Defs.define; compress types via Term.compress_type
Sat, 11 Jun 2005 12:55:25 +0200 obua further optimizations of cycle test
Tue, 07 Jun 2005 06:39:39 +0200 obua 1) Fixed bug in Defs.merge_edges_1.
Fri, 03 Jun 2005 01:08:07 +0200 obua Integrates cycle detection in definitions with finalconsts
Wed, 01 Jun 2005 21:25:35 +0200 obua Preliminary version of defs.ML that does not check final consts.
Tue, 31 May 2005 19:32:41 +0200 obua Removed final_consts from theory data. Now const_deps deals with final
Mon, 30 May 2005 16:32:47 +0200 obua Infinite chains in definitions are now detected, too.
Sun, 29 May 2005 12:39:12 +0200 obua Implement cycle-free overloading, so that definitions cannot harm consistency any more (except of course via interaction with axioms).
less more (0) tip