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/ex/Adhoc_Overloading_Examples.thy
changeset 69745 aec42cee2521
parent 69597 ff784d5a5bfb 
--- a/src/HOL/ex/Adhoc_Overloading_Examples.thy	Sun Jan 27 17:30:09 2019 +0100
+++ b/src/HOL/ex/Adhoc_Overloading_Examples.thy	Mon Jan 28 10:27:47 2019 +0100
@@ -26,7 +26,7 @@
 text \<open>The set of variables of a term might be computed as follows.\<close>
 fun term_vars :: "('a, 'b) term \<Rightarrow> 'b set" where
   "term_vars (Var x) = {x}" |
-  "term_vars (Fun f ts) = \<Union>set (map term_vars ts)"
+  "term_vars (Fun f ts) = \<Union>(set (map term_vars ts))"
 
 text \<open>However, also for \emph{rules} (i.e., pairs of terms) and term
 rewrite systems (i.e., sets of rules), the set of variables makes
isabelle