src/HOL/Main.thy
changeset 25964 080f89d89990
parent 25223 7463251e7273
child 26729 43a72d892594
     1.1 --- a/src/HOL/Main.thy	Fri Jan 25 14:53:56 2008 +0100
     1.2 +++ b/src/HOL/Main.thy	Fri Jan 25 14:53:58 2008 +0100
     1.3 @@ -15,4 +15,6 @@
     1.4  
     1.5  ML {* val HOL_proofs = ! Proofterm.proofs *}
     1.6  
     1.7 +ML {* path_add "~~/src/HOL/Library" *}
     1.8 +
     1.9  end