# HG changeset patch
# User haftmann
# Date 1226937621 -3600
# Node ID daca685d7bb74f2fbe9eeb9d602931bd989439cc
# Parent  249e394e5b8e758a3f7de3d95eddd265c46bf18d
whitespace tuning

diff -r 249e394e5b8e -r daca685d7bb7 src/HOL/Statespace/DistinctTreeProver.thy
--- a/src/HOL/Statespace/DistinctTreeProver.thy	Mon Nov 17 14:03:39 2008 +0100
+++ b/src/HOL/Statespace/DistinctTreeProver.thy	Mon Nov 17 17:00:21 2008 +0100
@@ -713,14 +713,4 @@
 
 *)
 
-
-
-
-
-
-
-
-
-
 end
-