| Fri, 23 Dec 2005 17:36:00 +0100 | paulson | blacklist of prolific theorems (must be replaced by an attribute later | changeset | files |
| Fri, 23 Dec 2005 17:34:46 +0100 | paulson | tidied | changeset | files |
| Fri, 23 Dec 2005 15:21:05 +0100 | wenzelm | tuned; | changeset | files |