tuned;

--- a/src/Pure/more_thm.ML	Wed Feb 28 22:05:43 2007 +0100
+++ b/src/Pure/more_thm.ML	Wed Feb 28 22:05:43 2007 +0100
@@ -76,7 +76,6 @@
 val internalK = "internal";
 
 
-
 (* attributes *)
 
 fun rule_attribute f (x, th) = (x, f x th);