--- 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
###