1.1 --- a/src/HOL/IntDiv.thy	Thu Aug 09 15:52:42 2007 +0200
     1.2 +++ b/src/HOL/IntDiv.thy	Thu Aug 09 15:52:45 2007 +0200
     1.3 @@ -1446,6 +1446,6 @@
     1.4    IntDiv Integer
     1.5  
     1.6  code_modulename Haskell
     1.7 -  IntDiv Divides
     1.8 +  IntDiv Integer
     1.9  
    1.10  end