Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Provers/blast.ML
changeset 26938 64e850c3da9e
parent 26928 ca87aff1ad2d
child 26939 1035c89b4c02 
--- a/src/Provers/blast.ML	Sat May 17 23:53:19 2008 +0200
+++ b/src/Provers/blast.ML	Sat May 17 23:53:20 2008 +0200
@@ -587,7 +587,7 @@
 val dummyTVar = Term.TVar(("a",0), []);
 val dummyVar2 = Term.Var(("var",0), dummyT);
 
-(*convert Blast_tac's type representation to real types for tracing*)
+(*convert blast_tac's type representation to real types for tracing*)
 fun showType (Free a)  = Term.TFree (a,[])
   | showType (Var _)   = dummyTVar
   | showType t         =
isabelle