Tue, 21 Apr 1998 17:25:19 +0200 | oheimb | improved pair_tac to call prune_params_tac afterwards | changeset | files |
Tue, 21 Apr 1998 17:23:24 +0200 | oheimb | split_all_tac is now added to claset() _before_ other safe tactics | changeset | files |
Tue, 21 Apr 1998 17:22:47 +0200 | oheimb | made proof of zmult_congruent2 more stable | changeset | files |