Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
improved comment;
authorwenzelm
Wed, 14 Jul 1999 13:05:46 +0200
changeset 7003 19520b3d4f0d
parent 7002 01a4e15ee253
child 7004 c799d0859638
improved comment;
src/Provers/blast.ML file | annotate | diff | comparison | revisions 
--- 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;
isabelle