src/FOLP/ROOT.ML
changeset 176 5729f6757473
parent 98 329b5ac27f6e
child 393 02b27671b899
--- 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*)