src/HOL/Numeral.thy

--- a/src/HOL/Numeral.thy	Wed Dec 10 14:29:44 2003 +0100
+++ b/src/HOL/Numeral.thy	Wed Dec 10 15:59:34 2003 +0100
@@ -57,4 +57,5 @@
 lemma Let_1 [simp]: "Let 1 f == f 1"
   by (simp add: Let_def)
 
+
 end