Fri, 04 Aug 2000 23:01:39 +0200 | wenzelm | added goal_args('); | changeset | files |
Fri, 04 Aug 2000 23:00:15 +0200 | wenzelm | added int; | changeset | files |
Fri, 04 Aug 2000 23:00:01 +0200 | wenzelm | axioms: Term.no_dummy_patterns; | changeset | files |
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 |