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.
tuned;
authorwenzelm
Fri, 24 Jul 2009 12:32:43 +0200
changeset 32170 541b35729992
parent 32169 fbada8ed12e6
child 32171 220abde9962b
tuned;
src/ZF/Tools/typechk.ML file | annotate | diff | comparison | revisions 
--- a/src/ZF/Tools/typechk.ML	Fri Jul 24 12:00:02 2009 +0200
+++ b/src/ZF/Tools/typechk.ML	Fri Jul 24 12:32:43 2009 +0200
@@ -116,7 +116,7 @@
     (Method.sections
       [Args.add -- Args.colon >> K (I, TC_add),
        Args.del -- Args.colon >> K (I, TC_del)]
-      >> (K (fn ctxt => SIMPLE_METHOD (CHANGED (typecheck_tac ctxt)))))
+      >> K (fn ctxt => SIMPLE_METHOD (CHANGED (typecheck_tac ctxt))))
     "ZF type-checking";
 
 val _ =
isabelle