--- a/src/HOL/Main.thy Fri Jan 25 14:53:56 2008 +0100 +++ b/src/HOL/Main.thy Fri Jan 25 14:53:58 2008 +0100 @@ -15,4 +15,6 @@ ML {* val HOL_proofs = ! Proofterm.proofs *} +ML {* path_add "~~/src/HOL/Library" *} + end