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 names;
authorwenzelm
Tue, 09 Jan 2024 15:14:49 +0100
changeset 79450 15f14ae59baa
parent 79449 e6fb110d6e44
child 79451 ef867bf3e6c9
tuned names;
src/Pure/term.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/term.ML	Tue Jan 09 12:18:01 2024 +0100
+++ b/src/Pure/term.ML	Tue Jan 09 15:14:49 2024 +0100
@@ -480,8 +480,8 @@
 
 fun map_types_same f =
   let
-    fun term (Const (a, T)) = Const (a, f T)
-      | term (Free (a, T)) = Free (a, f T)
+    fun term (Const (c, T)) = Const (c, f T)
+      | term (Free (x, T)) = Free (x, f T)
       | term (Var (xi, T)) = Var (xi, f T)
       | term (Bound _) = raise Same.SAME
       | term (Abs (x, T, t)) =
isabelle