src/Pure/fact_index.ML
2006-07-19 wenzelm 2006-07-19 add_local: simplified interface, all frees are known'';
2006-07-04 wenzelm 2006-07-04 added props selector;
2006-02-26 wenzelm 2006-02-26 add_local: do_index;
2006-02-06 wenzelm 2006-02-06 TableFun: renamed xxx_multi to xxx_list;
2005-10-28 wenzelm 2005-10-28 added add_local/add_global; index props (for add_local only); added could_unify;
2005-09-15 wenzelm 2005-09-15 TableFun/Symtab: curried lookup and update;
2005-09-01 wenzelm 2005-09-01 curried_lookup/update;
2005-07-19 wenzelm 2005-07-19 tuned;
2005-06-20 wenzelm 2005-06-20 OrdList.inter;
2005-05-22 wenzelm 2005-05-22 major tuning;
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2002-08-27 wenzelm 2002-08-27 thms_containing: allow "_" in specification;
2002-07-02 wenzelm 2002-07-02 proper treatment of border cases;
2002-07-02 wenzelm 2002-07-02 Facts indexed by consts or (some) frees.