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.
store original simps for codegen;
authorwenzelm
Wed, 14 Nov 2001 18:45:38 +0100
changeset 12181 11a6c5620306
parent 12180 91c9f661b183
child 12182 3f820a21dcc1
store original simps for codegen;
src/HOL/Tools/primrec_package.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/primrec_package.ML	Wed Nov 14 18:44:27 2001 +0100
+++ b/src/HOL/Tools/primrec_package.ML	Wed Nov 14 18:45:38 2001 +0100
@@ -311,7 +311,7 @@
       |> Theory.parent_path
   in
     (foldl (fn (thy, (fname, _, _, tname)) =>
-       put_primrec fname (tname, simps') thy) (thy''', defs), simps')
+       put_primrec fname (tname, simps) thy) (thy''', defs), simps')
   end;
isabelle