# HG changeset patch
# User wenzelm
# Date 1172696743 -3600
# Node ID 8e02a61b401f4360791f4c3ce24648b54babcf2c
# Parent  61610b1beedfb5dce3979ada9220186aded2cf59
tuned;

diff -r 61610b1beedf -r 8e02a61b401f src/Pure/more_thm.ML
--- 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);