src/HOL/Library/Code_Natural.thy
changeset 46547 d1dcb91a512e
parent 39781 2053638a2bf2
child 47108 2a1953f0d20d
     1.1 --- a/src/HOL/Library/Code_Natural.thy	Sat Feb 18 10:35:45 2012 +0100
     1.2 +++ b/src/HOL/Library/Code_Natural.thy	Mon Feb 20 12:37:17 2012 +0100
     1.3 @@ -3,7 +3,7 @@
     1.4  *)
     1.5  
     1.6  theory Code_Natural
     1.7 -imports Main
     1.8 +imports "../Main"
     1.9  begin
    1.10  
    1.11  section {* Alternative representation of @{typ code_numeral} for @{text Haskell} and @{text Scala} *}
    1.12 @@ -125,7 +125,7 @@
    1.13    (Haskell infixl 7 "*")
    1.14    (Scala infixl 8 "*")
    1.15  
    1.16 -code_const div_mod_code_numeral
    1.17 +code_const Code_Numeral.div_mod
    1.18    (Haskell "divMod")
    1.19    (Scala infixl 8 "/%")
    1.20