| Tue, 04 Jul 2006 19:49:57 +0200 | wenzelm | removed parrot comment; | changeset | files |
| Tue, 04 Jul 2006 19:49:56 +0200 | wenzelm | Proof by guessing. | changeset | files |
| Tue, 04 Jul 2006 19:49:55 +0200 | wenzelm | guess: proper context for polymorphic parameters; | changeset | files |