Sat, 15 Mar 2008 18:08:03 +0100 more precise Author line;
wenzelm [Sat, 15 Mar 2008 18:08:03 +0100] rev 26283
more precise Author line; replaced obsolete FactIndex.T by Facts.T; simplified ML;
Sat, 15 Mar 2008 18:08:02 +0100 replaced obsolete FactIndex.T by Facts.T (cumulative version, assumes that facts are only added to unfinished theories);
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);
Sat, 15 Mar 2008 18:08:02 +0100 Environment of named facts (admits overriding). Optional indexing by proposition.
wenzelm [Sat, 15 Mar 2008 18:08:02 +0100] rev 26281
Environment of named facts (admits overriding). Optional indexing by proposition.
Sat, 15 Mar 2008 18:08:01 +0100 obsolete (cf. facts.ML);
wenzelm [Sat, 15 Mar 2008 18:08:01 +0100] rev 26280
obsolete (cf. facts.ML);
Sat, 15 Mar 2008 18:08:00 +0100 removed obsolete fact_index.ML;
wenzelm [Sat, 15 Mar 2008 18:08:00 +0100] rev 26279
removed obsolete fact_index.ML; added facts.ML;
Sat, 15 Mar 2008 18:07:59 +0100 replaced obsolete FactIndex.T by Facts.T;
wenzelm [Sat, 15 Mar 2008 18:07:59 +0100] rev 26278
replaced obsolete FactIndex.T by Facts.T;
Sat, 15 Mar 2008 18:07:58 +0100 removed obsolete PureThy.thms_containing_consts;
wenzelm [Sat, 15 Mar 2008 18:07:58 +0100] rev 26277
removed obsolete PureThy.thms_containing_consts;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip