Sun, 16 Jul 2000 20:56:53 +0200 | wenzelm | adapted tuple syntax; | changeset | files |
Sun, 16 Jul 2000 20:56:32 +0200 | wenzelm | tuned; | changeset | files |
Sun, 16 Jul 2000 20:56:14 +0200 | wenzelm | use pair_tac; | changeset | files |
Sun, 16 Jul 2000 20:55:56 +0200 | wenzelm | use split syntax; | changeset | files |
Sun, 16 Jul 2000 20:55:17 +0200 | wenzelm | fixed tuple translations; | changeset | files |
Sun, 16 Jul 2000 20:54:38 +0200 | wenzelm | defs (overloaded); | changeset | files |
Sun, 16 Jul 2000 20:54:24 +0200 | wenzelm | added is_unitT; | changeset | files |