Sun, 23 Jul 2000 12:04:56 +0200 | wenzelm | tuned ThmHeap; | changeset | files |
Sun, 23 Jul 2000 12:02:22 +0200 | wenzelm | removed selector syntax -- improper tuples are broken beyond repair :-( | changeset | files |
Sun, 23 Jul 2000 12:01:39 +0200 | wenzelm | elim?; | changeset | files |