src/HOL/ROOT.ML
changeset 25964 080f89d89990
parent 23894 1a4167d761ac
child 27368 9f90ac19e32b
     1.1 --- a/src/HOL/ROOT.ML	Fri Jan 25 14:53:56 2008 +0100
     1.2 +++ b/src/HOL/ROOT.ML	Fri Jan 25 14:53:58 2008 +0100
     1.3 @@ -5,5 +5,3 @@
     1.4  *)
     1.5  
     1.6  use_thy "Main";
     1.7 -
     1.8 -path_add "~~/src/HOL/Library";