wenzelm [Sat, 15 Mar 2008 18:08:03 +0100] rev 26283
more precise Author line;
replaced obsolete FactIndex.T by Facts.T;
simplified ML;
wenzelm [Sat, 15 Mar 2008 18:08:02 +0100] rev 26282
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);
wenzelm [Sat, 15 Mar 2008 18:08:02 +0100] rev 26281
Environment of named facts (admits overriding). Optional indexing by proposition.
wenzelm [Sat, 15 Mar 2008 18:08:01 +0100] rev 26280
obsolete (cf. facts.ML);
wenzelm [Sat, 15 Mar 2008 18:08:00 +0100] rev 26279
removed obsolete fact_index.ML;
added facts.ML;
wenzelm [Sat, 15 Mar 2008 18:07:59 +0100] rev 26278
replaced obsolete FactIndex.T by Facts.T;
wenzelm [Sat, 15 Mar 2008 18:07:58 +0100] rev 26277
removed obsolete PureThy.thms_containing_consts;