Wed, 29 Jun 2005 15:13:33 +0200 | wenzelm | added eq; | changeset | files |
Wed, 29 Jun 2005 15:13:32 +0200 | wenzelm | pass thy as explicit argument (the old ref was not safe | changeset | files |
Wed, 29 Jun 2005 15:13:31 +0200 | wenzelm | more efficient treatment of shyps and hyps (use ordered lists); | changeset | files |