src/HOL/Library/Pure_term.thy

--- a/src/HOL/Library/Pure_term.thy	Fri Apr 13 21:26:34 2007 +0200
+++ b/src/HOL/Library/Pure_term.thy	Fri Apr 13 21:26:35 2007 +0200
@@ -128,4 +128,4 @@
 
 code_reserved SML Term
 
-end
\ No newline at end of file
+end