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.
make SML/NJ happier;
authorwenzelm
Fri, 25 Apr 2014 17:54:54 +0200
changeset 56722 ba1ac087b3a7
parent 56721 f2ffead641d4
child 56723 a8f71445c265
child 56728 6dc97c5aaf5e
make SML/NJ happier;
src/HOL/Tools/Transfer/transfer.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Transfer/transfer.ML	Fri Apr 25 14:39:11 2014 +0200
+++ b/src/HOL/Tools/Transfer/transfer.ML	Fri Apr 25 17:54:54 2014 +0200
@@ -55,7 +55,7 @@
 
 type pred_data = {rel_eq_onp: thm}
 
-val rel_eq_onp = #rel_eq_onp
+val rel_eq_onp: pred_data -> thm = #rel_eq_onp
 
 structure Data = Generic_Data
 (
isabelle