isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Sat, 15 Mar 2008 22:07:25 +0100 added lemmas from simpdata.ML;

changeset

wenzelm [Sat, 15 Mar 2008 22:07:25 +0100] rev 26286

added lemmas from simpdata.ML;

Sat, 15 Mar 2008 18:08:54 +0100 removed obsolete PureThy.thms_containing;

changeset

wenzelm [Sat, 15 Mar 2008 18:08:54 +0100] rev 26285

removed obsolete PureThy.thms_containing;

Sat, 15 Mar 2008 18:08:04 +0100 replaced obsolete FactIndex.T by Facts.T;

changeset

wenzelm [Sat, 15 Mar 2008 18:08:04 +0100] rev 26284

replaced obsolete FactIndex.T by Facts.T; removed unused get_thm(s)_closure; removed obsolete theorems_of, fact_index_of, lthms_containing, hide_thms;

Sat, 15 Mar 2008 18:08:03 +0100 more precise Author line;

changeset

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);

changeset

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.

changeset

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);

changeset

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;

changeset

wenzelm [Sat, 15 Mar 2008 18:08:00 +0100] rev 26279

removed obsolete fact_index.ML; added facts.ML;