dropped slightly outdated comment
authorhaftmann
Fri Dec 30 18:02:27 2016 +0100 (2016-12-30)
changeset 6471238adf0c59c35
parent 64711 45dfaad6d852
child 64713 9638c07283bc
dropped slightly outdated comment
src/HOL/Nat.thy
     1.1 --- a/src/HOL/Nat.thy	Fri Dec 30 20:43:40 2016 +0100
     1.2 +++ b/src/HOL/Nat.thy	Fri Dec 30 18:02:27 2016 +0100
     1.3 @@ -2,9 +2,6 @@
     1.4      Author:     Tobias Nipkow
     1.5      Author:     Lawrence C Paulson
     1.6      Author:     Markus Wenzel
     1.7 -
     1.8 -Type "nat" is a linear order, and a datatype; arithmetic operators + -
     1.9 -and * (for div and mod, see theory Divides).
    1.10  *)
    1.11  
    1.12  section \<open>Natural numbers\<close>