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