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.
irrelevant
authorhaftmann
Sat, 30 Mar 2019 15:37:22 +0100 (2019-03-30)
changeset 70017 3347396ffdb3
parent 70016 a8142ac5e4b6
child 70018 571909ef3103
irrelevant
src/HOL/Code_Numeral.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Code_Numeral.thy	Sat Mar 30 22:51:38 2019 +0100
+++ b/src/HOL/Code_Numeral.thy	Sat Mar 30 15:37:22 2019 +0100
@@ -766,8 +766,6 @@
 code_identifier
   code_module Code_Numeral \<rightharpoonup> (SML) Arith and (OCaml) Arith and (Haskell) Arith
 
-export_code divmod_integer in Haskell file_prefix divmod
-
 
 subsection \<open>Type of target language naturals\<close>
isabelle