updated comments
authorpaulson
Fri Sep 18 14:36:54 1998 +0200 (1998-09-18)
changeset 54991787c44ae4ed
parent 5498 7b81cae2774f
child 5500 7e0ed3e31590
updated comments
src/HOL/Nat.thy
     1.1 --- a/src/HOL/Nat.thy	Fri Sep 18 14:36:36 1998 +0200
     1.2 +++ b/src/HOL/Nat.thy	Fri Sep 18 14:36:54 1998 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4      Author:     Tobias Nipkow
     1.5      Copyright   1997 TU Muenchen
     1.6  
     1.7 -Nat is a partial order
     1.8 +Type "nat" is a linear order, and a datatype
     1.9  *)
    1.10  
    1.11  Nat = NatDef + Inductive +