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.
fixed type
authorhaftmann
Wed, 13 Dec 2006 20:38:24 +0100
changeset 21838 f9243336f54e
parent 21837 b8118942f0e2
child 21839 54018ed3b99d
fixed type
src/Pure/Tools/codegen_thingol.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/codegen_thingol.ML	Wed Dec 13 20:38:23 2006 +0100
+++ b/src/Pure/Tools/codegen_thingol.ML	Wed Dec 13 20:38:24 2006 +0100
@@ -158,7 +158,7 @@
     type schemes            tysm
     term                    t
     (term as pattern)       p
-    instance (classs, tyco) inst
+    instance (class, tyco)  inst
  *)
 
 fun ty1 `-> ty2 = "fun" `%% [ty1, ty2];
isabelle