Addition of HOL/UNITY/Client
authorpaulson
Tue Oct 13 10:50:56 1998 +0200 (1998-10-13)
changeset 56382570d7c3f6e7
parent 5637 a06006a320a1
child 5639 29d8e53a4920
Addition of HOL/UNITY/Client
src/HOL/UNITY/ROOT.ML
     1.1 --- a/src/HOL/UNITY/ROOT.ML	Tue Oct 13 10:50:41 1998 +0200
     1.2 +++ b/src/HOL/UNITY/ROOT.ML	Tue Oct 13 10:50:56 1998 +0200
     1.3 @@ -26,7 +26,5 @@
     1.4  loadpath := "../Auth" :: !loadpath;  (*to find Public.thy*)
     1.5  use_thy"NSP_Bad";
     1.6  
     1.7 -(*
     1.8  loadpath := "../Lex" :: !loadpath;   (*to find Prefix.thy*)
     1.9  use_thy"Client";
    1.10 -*)