diff -r 6ad158576972 -r 71de955e8fc9 etc/user-settings.sample
--- a/etc/user-settings.sample	Sun Sep 03 20:00:34 2000 +0200
+++ b/etc/user-settings.sample	Sun Sep 03 20:01:27 2000 +0200
@@ -1,10 +1,11 @@
 #
 # $Id$
+# Author: Markus Wenzel, TU Muenchen
+# License: GPL (GNU GENERAL PUBLIC LICENSE)
 #
 # Isabelle user settings sample (everything commented out)
 #   -- may be copied to ~/isabelle/etc/settings
 #
 
-#ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
-
-#ISABELLE_LOGIC=ZF
+ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
+ISABELLE_LOGIC=HOL