src/HOL/ex/Quickcheck_Examples.thy
changeset 17388 495c799df31d
parent 16417 9bc16273c2d4
child 25891 1bd12187a96e
     1.1 --- a/src/HOL/ex/Quickcheck_Examples.thy	Wed Sep 14 22:04:38 2005 +0200
     1.2 +++ b/src/HOL/ex/Quickcheck_Examples.thy	Wed Sep 14 22:08:08 2005 +0200
     1.3 @@ -144,5 +144,3 @@
     1.4    oops
     1.5  
     1.6  end
     1.7 -
     1.8 -