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/specification_package.ML
changeset 20548 8ef25fe585a8
parent 20344 d02b43ea722e
child 20903 905effde63d9 
--- a/src/HOL/Tools/specification_package.ML	Fri Sep 15 22:56:08 2006 +0200
+++ b/src/HOL/Tools/specification_package.ML	Fri Sep 15 22:56:13 2006 +0200
@@ -108,7 +108,7 @@
                  NONE => TVar f
                | SOME (b, _) => TFree (b, S))
     in
-        map_term_types (map_type_tvar unthaw) t
+        map_types (map_type_tvar unthaw) t
     end
 
 (* The syntactic meddling needed to setup add_specification for work *)
isabelle