1.1 --- a/etc/settings Sat May 24 19:52:53 2003 +0200
1.2 +++ b/etc/settings Mon May 26 11:42:41 2003 +0200
1.3 @@ -68,6 +68,9 @@
1.4
1.5 ISABELLE_USEDIR_OPTIONS=""
1.6
1.7 +# for overriding proof objects in HOL image
1.8 +HOL_PROOF_OBJECTS=""
1.9 +
1.10
1.11 ###
1.12 ### Document preparation