| Thu, 01 Dec 2005 18:37:39 +0100 | wenzelm | timestop - report timing based on environment (cf. timestart.bash); | changeset | files |
| Thu, 01 Dec 2005 18:37:22 +0100 | wenzelm | timestart - setup bash environment for timing; | changeset | files |
| Thu, 01 Dec 2005 17:07:50 +0100 | berghofe | Improved norm_proof to handle proofs containing term (type) variables | changeset | files |