src/Tools/Code/code_thingol.ML
changeset 32545 8631b421ffc3
parent 32358 98c00ee9e786
child 32795 a0f38d8d633a
     1.1 --- a/src/Tools/Code/code_thingol.ML	Thu Sep 03 22:48:18 2009 +0200
     1.2 +++ b/src/Tools/Code/code_thingol.ML	Wed Sep 09 12:27:12 2009 +0200
     1.3 @@ -429,7 +429,7 @@
     1.4  
     1.5  fun desymbolize_all_vars thy = desymbolize_tvars thy #> map (desymbolize_vars thy);
     1.6  
     1.7 -fun clean_thms thy = same_arity thy #> desymbolize_all_vars thy;
     1.8 +fun clean_thms thy = map (Thm.transfer thy) #> same_arity thy #> desymbolize_all_vars thy;
     1.9  
    1.10  
    1.11  (** statements, abstract programs **)