| Thu, 11 Jul 2002 17:56:28 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 11 Jul 2002 17:18:28 +0200 | paulson | tidied | changeset | files |
| Thu, 11 Jul 2002 16:57:14 +0200 | berghofe | Added "using" to the beginning of original newman proof again, because | changeset | files |
| Thu, 11 Jul 2002 13:43:24 +0200 | paulson | Separation/Replacement up to M_wfrank! | changeset | files |