src/HOL/ROOT.ML

--- a/src/HOL/ROOT.ML	Fri Jan 25 14:53:56 2008 +0100
+++ b/src/HOL/ROOT.ML	Fri Jan 25 14:53:58 2008 +0100
@@ -5,5 +5,3 @@
 *)
 
 use_thy "Main";
-
-path_add "~~/src/HOL/Library";