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/Tools/Code/code_preproc.ML
changeset 32350 5ef633275b15
parent 32349 3f7984175fdd
child 32353 0ac26087464b 
--- a/src/Tools/Code/code_preproc.ML	Fri Jul 31 10:49:09 2009 +0200
+++ b/src/Tools/Code/code_preproc.ML	Mon Aug 10 08:37:37 2009 +0200
@@ -150,7 +150,6 @@
     |> (map o apfst) (AxClass.unoverload thy)
     |> map (Code.assert_eqn thy)
     |> burrow_fst (same_arity thy)
-    |> burrow_fst (Code.desymbolize_all_vars thy)
   end;
 
 fun preprocess_conv thy ct =
isabelle