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.
more clever module name aliasses for code generation
authorhaftmann
Fri, 24 Oct 2008 17:48:35 +0200
changeset 28683 59c01ec6cb8d
parent 28682 5de9fc98ad96
child 28684 48faac324061
more clever module name aliasses for code generation
src/HOL/Library/Efficient_Nat.thy file | annotate | diff | comparison | revisions 
--- 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