Fri, 23 Apr 1999 11:50:35 +0200 | wenzelm | detailed proofs; | changeset | files |
Fri, 23 Apr 1999 11:50:17 +0200 | wenzelm | tuned; | changeset | files |
Fri, 23 Apr 1999 11:48:37 +0200 | wenzelm | oops; | changeset | files |
Thu, 22 Apr 1999 18:25:24 +0200 | wenzelm | fixed IO; | changeset | files |