| changeset 15481 | fc075ae929e4 |
| parent 15415 | 6e437e276ef5 |
| child 15531 | 08c8dad8e399 |
--- a/src/Provers/hypsubst.ML Sun Jan 30 20:48:50 2005 +0100 +++ b/src/Provers/hypsubst.ML Tue Feb 01 18:01:57 2005 +0100 @@ -247,6 +247,6 @@ val hypsubst_setup = [Method.add_methods [("hypsubst", hyp_subst_meth, "substitution using an assumption (improper)"), - ("subst", subst_meth, "substitution")]]; + ("simplesubst", subst_meth, "simple substitution")]]; end;