# HG changeset patch
# User paulson
# Date 908268656 -7200
# Node ID 2570d7c3f6e7e74ad2e490b924d26ec8e8cdf986
# Parent  a06006a320a19c19746399cfe179d0a11e422ae5
Addition of HOL/UNITY/Client

diff -r a06006a320a1 -r 2570d7c3f6e7 src/HOL/UNITY/ROOT.ML
--- 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";
-*)