diff -r 537f7281d42c -r 4e0bbfb113d5 etc/user-settings.sample
--- a/etc/user-settings.sample	Wed May 14 17:55:10 1997 +0200
+++ b/etc/user-settings.sample	Wed May 14 18:37:03 1997 +0200
@@ -21,7 +21,7 @@
 #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
 #ISABELLE_OUTPUT=somewhere-else
 
-#DEFAULT_LOGIC=ZF
+#ISABELLE_LOGIC=ZF
 
 
 ###