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/typedef.ML
changeset 81947 5be5b2114ecd
parent 80694 58a209c8d40a 
--- a/src/HOL/Tools/typedef.ML	Tue Jan 21 19:26:39 2025 +0100
+++ b/src/HOL/Tools/typedef.ML	Tue Jan 21 19:49:13 2025 +0100
@@ -302,7 +302,7 @@
 
 fun add_typedef_global overloaded typ set opt_bindings tac =
   Named_Target.theory_map_result (apsnd o transform_info)
-    (add_typedef overloaded typ set opt_bindings tac)
+    (add_typedef overloaded typ set opt_bindings tac);
 
 
 (* typedef: proof interface *)
isabelle