src/HOL/Divides.thy
changeset 21911 e29bcab0c81c
parent 21408 fff1731da03b
child 22261 9e185f78e7d4
     1.1 --- a/src/HOL/Divides.thy	Wed Dec 27 19:09:59 2006 +0100
     1.2 +++ b/src/HOL/Divides.thy	Wed Dec 27 19:10:00 2006 +0100
     1.3 @@ -929,6 +929,9 @@
     1.4  code_modulename SML
     1.5    Divides Integer
     1.6  
     1.7 +code_modulename OCaml
     1.8 +  Divides Integer
     1.9 +
    1.10  hide (open) const divmod
    1.11  
    1.12