replaced obsolete FactIndex.T by Facts.T (cumulative version, assumes that facts are only added to unfinished theories); removed unused get_thm(s)_closure; removed obsolete fact_index_of, valid_thms, thms_containing(_consts);

Environment of named facts (admits overriding). Optional indexing by proposition.

obsolete (cf. facts.ML);