src/HOL/Real/PNat.thy
changeset 7562 8519d5019309
parent 7219 4e3f386c2e37
child 8856 435187ffc64e
     1.1 --- a/src/HOL/Real/PNat.thy	Tue Sep 21 17:28:33 1999 +0200
     1.2 +++ b/src/HOL/Real/PNat.thy	Tue Sep 21 17:29:00 1999 +0200
     1.3 @@ -44,28 +44,3 @@
     1.4         "x <= (y::pnat) ==  ~(y < x)"
     1.5  
     1.6  end
     1.7 -
     1.8 -
     1.9 -
    1.10 -
    1.11 -
    1.12 -
    1.13 -
    1.14 -
    1.15 -
    1.16 -
    1.17 -
    1.18 -
    1.19 -
    1.20 -
    1.21 -
    1.22 -
    1.23 -
    1.24 -
    1.25 -
    1.26 -
    1.27 -
    1.28 -
    1.29 -
    1.30 -
    1.31 -