| Thu, 08 Dec 2005 20:15:50 +0100 | wenzelm | tuned proofs; | changeset | files |
| Thu, 08 Dec 2005 20:15:41 +0100 | wenzelm | Cla.swap; | changeset | files |
| Thu, 08 Dec 2005 20:15:34 +0100 | wenzelm | removed hint for Classical.swap, which is not really user-level anyway; | changeset | files |
| Thu, 08 Dec 2005 12:50:04 +0100 | wenzelm | tuned sources and proofs | changeset | files |