src/HOL/IntDiv.thy
changeset 24195 7d1a16c77f7c
parent 23983 79dc793bec43
child 24286 7619080e49f0
     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