| Tue, 15 Apr 2008 22:09:23 +0200 | wenzelm | all_valid_thms: use new facts tables; | changeset | files |
| Tue, 15 Apr 2008 18:49:29 +0200 | wenzelm | Theory.subthy; | changeset | files |
| Tue, 15 Apr 2008 18:49:28 +0200 | wenzelm | Facts.intern, Facts.extern_table; | changeset | files |