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