| Thu, 29 Oct 2009 16:06:15 +0100 | wenzelm | separate ResBlacklist, based on scalable persistent data -- avoids inefficient hashing later on; | changeset | files |
| 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 |
| Thu, 29 Oct 2009 14:53:53 +0100 | wenzelm | tuned proof; | changeset | files |
| Thu, 29 Oct 2009 13:21:38 +0100 | wenzelm | separate "inner_rule" tag indicates parts of induction rules -- avoids unclear overlap with "internal" tag; | changeset | files |
| Thu, 29 Oct 2009 12:59:25 +0100 | wenzelm | removed unused file; | changeset | files |