Thu, 05 Aug 1999 22:11:07 +0200 | wenzelm | record_simproc for sel-upd (by Sebastian Nanz); | changeset | files |
Thu, 05 Aug 1999 22:09:23 +0200 | wenzelm | change_simpset_of; | changeset | files |
Thu, 05 Aug 1999 22:08:53 +0200 | wenzelm | local goals: after_qed; | changeset | files |