Sun, 15 Jan 2012 18:55:27 +0100 | wenzelm | tuned proofs; | changeset | files |
Sun, 15 Jan 2012 17:27:46 +0100 | nipkow | tuned | changeset | files |
Sun, 15 Jan 2012 14:55:30 +0100 | wenzelm | tuned signature; | changeset | files |
Sun, 15 Jan 2012 14:22:54 +0100 | wenzelm | comments; | changeset | files |
Sun, 15 Jan 2012 14:17:42 +0100 | wenzelm | tuned proofs; | changeset | files |
Sun, 15 Jan 2012 14:00:07 +0100 | wenzelm | eliminated dead code, together with spurious warning about congruence rule for "Fun.comp"; | changeset | files |