diff -r 5a6f2aabd538 -r 6bcb44e4d6e5 src/LCF/ROOT.ML
--- a/src/LCF/ROOT.ML	Mon Jan 29 14:16:13 1996 +0100
+++ b/src/LCF/ROOT.ML	Tue Jan 30 13:42:57 1996 +0100
@@ -1,6 +1,6 @@
-(*  Title: 	LCF/ROOT
+(*  Title:      LCF/ROOT
     ID:         $Id$
-    Author: 	Tobias Nipkow
+    Author:     Tobias Nipkow
     Copyright   1992  University of Cambridge
 
 Adds LCF to a database containing First-Order Logic.
@@ -17,4 +17,4 @@
 use"pair.ML";
 use"fix.ML";
 
-val LCF_build_completed = ();	(*indicate successful build*)
+val LCF_build_completed = ();   (*indicate successful build*)