src/HOL/Statespace/DistinctTreeProver.thy
changeset 28819 daca685d7bb7
parent 27691 ce171cbd4b93
child 29269 5c25a2012975
     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 -