Wed, 24 May 2000 18:44:49 +0200 | paulson | installing the plus_ac0 simprules | changeset | files |
Wed, 24 May 2000 18:44:19 +0200 | paulson | rewrote a very long proof (Key_analz_image_Key) because it had stopped working | changeset | files |
Wed, 24 May 2000 18:43:39 +0200 | paulson | overloaded 0 | changeset | files |