| Wed, 03 Jan 2007 10:59:06 +0100 | paulson | first version of structured proof reconstruction | changeset | files |
| Tue, 02 Jan 2007 22:43:05 +0100 | wenzelm | Morphism.fact; | changeset | files |
| Tue, 02 Jan 2007 22:43:04 +0100 | wenzelm | Term.lambda: abstract over arbitrary closed terms; | changeset | files |