Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
isabelle