| Sat, 15 Mar 2008 18:08:03 +0100 | wenzelm | more precise Author line; | changeset | files |
| Sat, 15 Mar 2008 18:08:02 +0100 | wenzelm | replaced obsolete FactIndex.T by Facts.T (cumulative version, assumes that facts are only added to unfinished theories); | changeset | files |
| Sat, 15 Mar 2008 18:08:02 +0100 | wenzelm | Environment of named facts (admits overriding). Optional indexing by proposition. | changeset | files |
| Sat, 15 Mar 2008 18:08:01 +0100 | wenzelm | obsolete (cf. facts.ML); | changeset | files |
| Sat, 15 Mar 2008 18:08:00 +0100 | wenzelm | removed obsolete fact_index.ML; | changeset | files |
| Sat, 15 Mar 2008 18:07:59 +0100 | wenzelm | replaced obsolete FactIndex.T by Facts.T; | changeset | files |
| Sat, 15 Mar 2008 18:07:58 +0100 | wenzelm | removed obsolete PureThy.thms_containing_consts; | changeset | files |
| Sat, 15 Mar 2008 08:11:17 +0100 | haftmann | explicit re-init | changeset | files |