Mon, 23 Jul 2001 17:45:07 +0200 | paulson | live links | changeset | files |
Mon, 23 Jul 2001 17:37:29 +0200 | paulson | The final version of Florian Kammueller's proofs | changeset | files |
Mon, 23 Jul 2001 13:50:23 +0200 | oheimb | slight improvement for iff attribute | changeset | files |
Sun, 22 Jul 2001 21:31:37 +0200 | wenzelm | replaced SOME by THE; | changeset | files |
Sun, 22 Jul 2001 21:31:00 +0200 | wenzelm | the_equality [intro]; | changeset | files |
Sun, 22 Jul 2001 21:30:21 +0200 | wenzelm | tuned; | changeset | files |