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