no longer needs ../Lex

--- a/src/HOL/UNITY/ROOT.ML	Fri Jun 11 10:33:43 1999 +0200
+++ b/src/HOL/UNITY/ROOT.ML	Fri Jun 11 10:34:20 1999 +0200
@@ -9,10 +9,9 @@
 writeln"Root file for HOL/UNITY";
 
 set proof_timing;
+set HOL_quantifiers;
 
-add_path "../Lex";	(*to find Prefix.thy*)
-
-time_use_thy"UNITY";
+time_use_thy "UNITY";
 time_use_thy "Deadlock";
 time_use_thy "WFair";
 time_use_thy "Common";