src/FOLP/ROOT.ML
changeset 176 5729f6757473
parent 98 329b5ac27f6e
child 393 02b27671b899
     1.1 --- a/src/FOLP/ROOT.ML	Tue Nov 30 15:31:07 1993 +0100
     1.2 +++ b/src/FOLP/ROOT.ML	Wed Dec 01 12:41:25 1993 +0100
     1.3 @@ -79,3 +79,5 @@
     1.4  
     1.5  use "../Pure/install_pp.ML";
     1.6  print_depth 8;
     1.7 +
     1.8 +val FOLP_build_completed = ();	(*indicate successful build*)