Replaced `div and `mod in consts_code section by div and mod.
1.1 --- a/src/HOL/Integ/NatBin.thy Sat Aug 14 16:27:56 2004 +0200
1.2 +++ b/src/HOL/Integ/NatBin.thy Mon Aug 16 12:29:09 2004 +0200
1.3 @@ -839,8 +839,8 @@
1.4 "uminus" :: "int => int" ("`~")
1.5 "op +" :: "int => int => int" ("(_ `+/ _)")
1.6 "op *" :: "int => int => int" ("(_ `*/ _)")
1.7 - "op div" :: "int => int => int" ("(_ `div/ _)")
1.8 - "op mod" :: "int => int => int" ("(_ `mod/ _)")
1.9 + "op div" :: "int => int => int" ("(_ div/ _)")
1.10 + "op mod" :: "int => int => int" ("(_ mod/ _)")
1.11 "op <" :: "int => int => bool" ("(_ </ _)")
1.12 "op <=" :: "int => int => bool" ("(_ <=/ _)")
1.13 "neg" ("(_ < 0)")