src/Cube/ROOT.ML

--- a/src/Cube/ROOT.ML	Mon Jan 29 13:56:41 1996 +0100
+++ b/src/Cube/ROOT.ML	Mon Jan 29 13:58:15 1996 +0100
@@ -1,6 +1,6 @@
-(*  Title: 	Cube/ROOT
+(*  Title:      Cube/ROOT
     ID:         $Id$
-    Author: 	Tobias Nipkow
+    Author:     Tobias Nipkow
     Copyright   1992  University of Cambridge
 
 The Lambda-Cube a la Barendregt
@@ -17,4 +17,4 @@
 use "../Pure/install_pp.ML";
 print_depth 8;
 
-val Cube_build_completed = ();	(*indicate successful build*)
+val Cube_build_completed = ();  (*indicate successful build*)