| Fri, 04 Aug 2000 22:59:33 +0200 | wenzelm | added dummy_patternN, no_dummy_patterns, replace_dummy_patterns; | changeset | files |
| Fri, 04 Aug 2000 22:59:08 +0200 | wenzelm | added rename_params_tac; | changeset | files |
| Fri, 04 Aug 2000 22:58:53 +0200 | wenzelm | dummy_pattern moved to term.ML; | changeset | files |
| Fri, 04 Aug 2000 22:58:38 +0200 | wenzelm | Term.no_dummy_patterns; | changeset | files |
| Fri, 04 Aug 2000 22:58:23 +0200 | wenzelm | added rev_eq_reflection; | changeset | files |
| Fri, 04 Aug 2000 22:57:37 +0200 | wenzelm | val rev_eq_reflection = def_imp_eq; | changeset | files |
| Fri, 04 Aug 2000 22:57:25 +0200 | wenzelm | val atomize = thms "atomize"; | changeset | files |