--- a/src/HOL/IntDiv.thy Thu Aug 09 15:52:42 2007 +0200 +++ b/src/HOL/IntDiv.thy Thu Aug 09 15:52:45 2007 +0200 @@ -1446,6 +1446,6 @@ IntDiv Integer code_modulename Haskell - IntDiv Divides + IntDiv Integer end