src/HOL/Library/Efficient_Nat.thy
changeset 28683 59c01ec6cb8d
parent 28562 4e74209f113e
child 28694 4e9edaef64dc
--- a/src/HOL/Library/Efficient_Nat.thy	Fri Oct 24 17:48:34 2008 +0200
+++ b/src/HOL/Library/Efficient_Nat.thy	Fri Oct 24 17:48:35 2008 +0200
@@ -445,16 +445,19 @@
 code_modulename SML
   Nat Integer
   Divides Integer
+  Ring_and_Field Integer
   Efficient_Nat Integer
 
 code_modulename OCaml
   Nat Integer
   Divides Integer
+  Ring_and_Field Integer
   Efficient_Nat Integer
 
 code_modulename Haskell
   Nat Integer
   Divides Integer
+  Ring_and_Field Integer
   Efficient_Nat Integer
 
 hide const int