--- a/etc/settings Sat May 24 19:52:53 2003 +0200 +++ b/etc/settings Mon May 26 11:42:41 2003 +0200 @@ -68,6 +68,9 @@ ISABELLE_USEDIR_OPTIONS="" +# for overriding proof objects in HOL image +HOL_PROOF_OBJECTS="" + ### ### Document preparation