src/HOL/Divides.thy
changeset 18154 0c05abaf6244
parent 17609 5156b731ebc8
child 18202 46af82efd311
     1.1 --- a/src/HOL/Divides.thy	Thu Nov 10 21:14:05 2005 +0100
     1.2 +++ b/src/HOL/Divides.thy	Fri Nov 11 00:09:37 2005 +0100
     1.3 @@ -2,9 +2,9 @@
     1.4      ID:         $Id$
     1.5      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     1.6      Copyright   1999  University of Cambridge
     1.7 +*)
     1.8  
     1.9 -The division operators div, mod and the divides relation "dvd"
    1.10 -*)
    1.11 +header {* The division operators div, mod and the divides relation "dvd" *}
    1.12  
    1.13  theory Divides
    1.14  imports Datatype