--- a/etc/settings Wed May 14 17:55:10 1997 +0200 +++ b/etc/settings Wed May 14 18:37:03 1997 +0200 @@ -68,7 +68,7 @@ fi #Users may want to change this. -DEFAULT_LOGIC=HOL +ISABELLE_LOGIC=HOL ## Docs