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/HOL/Tools/Sledgehammer/metis_clauses.ML
changeset 39318 ad9a1f9b0558
parent 38864 4abe644fcea5
child 39355 104a6d9e493e 
--- a/src/HOL/Tools/Sledgehammer/metis_clauses.ML	Sat Sep 11 10:20:48 2010 +0200
+++ b/src/HOL/Tools/Sledgehammer/metis_clauses.ML	Sat Sep 11 10:21:52 2010 +0200
@@ -270,7 +270,7 @@
     val tvars = gen_TVars (length args)
     val tvars_srts = ListPair.zip (tvars, args)
   in
-    ArityClause {name = name, 
+    ArityClause {name = name,
                  conclLit = TConsLit (`make_type_class cls,
                                       `make_fixed_type_const tcons,
                                       tvars ~~ tvars),
isabelle