--- a/src/HOL/UNITY/ROOT.ML Tue Oct 13 10:50:41 1998 +0200
+++ b/src/HOL/UNITY/ROOT.ML Tue Oct 13 10:50:56 1998 +0200
@@ -26,7 +26,5 @@
loadpath := "../Auth" :: !loadpath; (*to find Public.thy*)
use_thy"NSP_Bad";
-(*
loadpath := "../Lex" :: !loadpath; (*to find Prefix.thy*)
use_thy"Client";
-*)