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 |