src/HOL/UNITY/ROOT.ML

--- a/src/HOL/UNITY/ROOT.ML	Wed Mar 03 10:36:24 1999 +0100
+++ b/src/HOL/UNITY/ROOT.ML	Wed Mar 03 10:50:42 1999 +0100
@@ -28,10 +28,8 @@
 time_use_thy "Lift";
 time_use_thy "Comp";
 time_use_thy "Client";
-(**
 time_use_thy "Extend";
 time_use_thy "PPROD";
-**)
 
 add_path "../Auth";	(*to find Public.thy*)
 use_thy"NSP_Bad";