Wed, 12 Apr 2000 18:53:20 +0200 | wenzelm | improved induct_tac; | changeset | files |
Wed, 12 Apr 2000 18:53:09 +0200 | wenzelm | induct stripped: match_tac; | changeset | files |
Wed, 12 Apr 2000 18:47:03 +0200 | wenzelm | Args.name_dummy; | changeset | files |