| Thu, 29 Oct 2009 16:05:51 +0100 | wenzelm | Named_Thms is not scalable; | changeset | files |
| Thu, 29 Oct 2009 14:57:55 +0100 | wenzelm | replaced slightly odd Thm.is_internal by Facts.is_concealed -- as provided by the name space; | changeset | files |
| Thu, 29 Oct 2009 14:54:14 +0100 | wenzelm | tuned; | changeset | files |