# HG changeset patch
# User wenzelm
# Date 1165955114 -3600
# Node ID be0a6e6905d9f741640d02afa11f7ea655f7b632
# Parent  a59f083632a7a9ea84efe619941d30922d86ca1a
tuned;

diff -r a59f083632a7 -r be0a6e6905d9 src/Pure/Isar/theory_target.ML
--- a/src/Pure/Isar/theory_target.ML	Tue Dec 12 21:25:13 2006 +0100
+++ b/src/Pure/Isar/theory_target.ML	Tue Dec 12 21:25:14 2006 +0100
@@ -119,8 +119,6 @@
   end;
 
 
-
-
 (* defs *)
 
 local