src/HOL/UNITY/ROOT.ML
changeset 5430 4a179dba527a
parent 5357 6efb2b87610c
child 5620 3ac11c4af76a
     1.1 --- a/src/HOL/UNITY/ROOT.ML	Mon Sep 07 10:40:17 1998 +0200
     1.2 +++ b/src/HOL/UNITY/ROOT.ML	Mon Sep 07 10:43:31 1998 +0200
     1.3 @@ -21,3 +21,6 @@
     1.4  time_use_thy "Reach";
     1.5  time_use_thy "Handshake";
     1.6  time_use_thy "Lift";
     1.7 +
     1.8 +loadpath := "../Auth" :: !loadpath;  (*necessary to find the Auth theories*)
     1.9 +use_thy"NSP_Bad";