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/Pure/Proof/extraction.ML
changeset 25389 3e58c7cb5a73
parent 24867 e5b55d7be9bb
child 26336 a0e2b706ce73 
--- a/src/Pure/Proof/extraction.ML	Sun Nov 11 14:00:05 2007 +0100
+++ b/src/Pure/Proof/extraction.ML	Sun Nov 11 14:00:08 2007 +0100
@@ -294,7 +294,7 @@
   in
     ExtractionData.put
       {realizes_eqns = realizes_eqns, typeof_eqns = typeof_eqns, types = types,
-       realizers = fold (Symtab.update_list o prep_rlz thy) rs realizers,
+       realizers = fold (Symtab.cons_list o prep_rlz thy) rs realizers,
        defs = defs, expand = expand, prep = prep} thy
   end
isabelle