src/Pure/fact_index.ML
Tue, 05 Dec 2006 01:17:32 +0100 wenzelm more careful indexing of local facts;
Wed, 19 Jul 2006 12:11:59 +0200 wenzelm add_local: simplified interface, all frees are known'';
Tue, 04 Jul 2006 21:22:51 +0200 wenzelm added props selector;
Sun, 26 Feb 2006 23:01:47 +0100 wenzelm add_local: do_index;
Mon, 06 Feb 2006 20:58:57 +0100 wenzelm TableFun: renamed xxx_multi to xxx_list;
Fri, 28 Oct 2005 22:27:54 +0200 wenzelm added add_local/add_global;
Thu, 15 Sep 2005 17:16:56 +0200 wenzelm TableFun/Symtab: curried lookup and update;
Thu, 01 Sep 2005 18:48:50 +0200 wenzelm curried_lookup/update;
Tue, 19 Jul 2005 17:21:45 +0200 wenzelm tuned;
Mon, 20 Jun 2005 22:14:05 +0200 wenzelm OrdList.inter;
Sun, 22 May 2005 16:51:08 +0200 wenzelm major tuning;
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions.
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Tue, 27 Aug 2002 17:25:44 +0200 wenzelm thms_containing: allow "_" in specification;
Tue, 02 Jul 2002 17:00:05 +0200 wenzelm proper treatment of border cases;
Tue, 02 Jul 2002 15:36:12 +0200 wenzelm Facts indexed by consts or (some) frees.
less more (0) tip