whitespace tuning
authorhaftmann
Mon Nov 17 17:00:21 2008 +0100 (2008-11-17)
changeset 28819daca685d7bb7
parent 28818 249e394e5b8e
child 28820 95dd21624c6c
whitespace tuning
src/HOL/Statespace/DistinctTreeProver.thy
     1.1 --- a/src/HOL/Statespace/DistinctTreeProver.thy	Mon Nov 17 14:03:39 2008 +0100
     1.2 +++ b/src/HOL/Statespace/DistinctTreeProver.thy	Mon Nov 17 17:00:21 2008 +0100
     1.3 @@ -713,14 +713,4 @@
     1.4  
     1.5  *)
     1.6  
     1.7 -
     1.8 -
     1.9 -
    1.10 -
    1.11 -
    1.12 -
    1.13 -
    1.14 -
    1.15 -
    1.16  end
    1.17 -