now declares FOLP_build_completed

--- a/src/FOLP/ROOT.ML	Tue Nov 30 15:31:07 1993 +0100
+++ b/src/FOLP/ROOT.ML	Wed Dec 01 12:41:25 1993 +0100
@@ -79,3 +79,5 @@
 
 use "../Pure/install_pp.ML";
 print_depth 8;
+
+val FOLP_build_completed = ();	(*indicate successful build*)