| Fri, 10 Nov 2000 19:12:30 +0100 | wenzelm | added rewrite_goal_tac; | changeset | files |
| Fri, 10 Nov 2000 19:11:51 +0100 | wenzelm | added certify_tycon, certify_tyabbr, certify_const; | changeset | files |
| Fri, 10 Nov 2000 19:10:34 +0100 | wenzelm | has_meta_prems: include "=="; | changeset | files |