1.1 --- a/etc/user-settings.sample	Wed May 14 17:55:10 1997 +0200
     1.2 +++ b/etc/user-settings.sample	Wed May 14 18:37:03 1997 +0200
     1.3 @@ -21,7 +21,7 @@
     1.4  #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
     1.5  #ISABELLE_OUTPUT=somewhere-else
     1.6  
     1.7 -#DEFAULT_LOGIC=ZF
     1.8 +#ISABELLE_LOGIC=ZF
     1.9  
    1.10  
    1.11  ###