| Sat, 15 Mar 2008 18:08:54 +0100 | wenzelm | removed obsolete PureThy.thms_containing; | changeset | files |
| Sat, 15 Mar 2008 18:08:04 +0100 | wenzelm | replaced obsolete FactIndex.T by Facts.T; | changeset | files |
| 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 |