| Tue, 20 Apr 2010 14:56:20 +0200 | Cezary Kaliszyk | respectfullness and preservation of function composition | changeset | files |
| Tue, 20 Apr 2010 14:55:53 +0200 | Cezary Kaliszyk | eta-normalize the goal since the original theorem is atomized | changeset | files |
| Tue, 20 Apr 2010 11:31:14 +0200 | wenzelm | accept x86_64 results gracefully -- NB: Mac OS does report that if booted in 64 bit mode; | changeset | files |