| changeset 7003 | 19520b3d4f0d |
| parent 6955 | 9e2d97ef55d2 |
| child 7155 | 70ba7d640bfe |
--- a/src/Provers/blast.ML Wed Jul 14 13:05:28 1999 +0200 +++ b/src/Provers/blast.ML Wed Jul 14 13:05:46 1999 +0200 @@ -1329,7 +1329,7 @@ (** method setup **) -val setup = [Method.add_methods [("blast", Data.cla_method' blast_tac, "blast")]]; +val setup = [Method.add_methods [("blast", Data.cla_method' blast_tac, "tableau prover")]]; end;