diff -r b776fd812bdd -r bbd2f7b00736 etc/settings
--- 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