etc/settings

--- a/etc/settings	Sun Apr 01 14:50:47 2012 +0200
+++ b/etc/settings	Sun Apr 01 22:03:45 2012 +0200
@@ -190,9 +190,6 @@
 
 ## Set HOME only for tools you have installed!
 
-# HOL4 proof objects (cf. src/HOL/Import)
-#HOL4_PROOFS="$ISABELLE_HOME_USER/proofs:$ISABELLE_HOME/proofs"
-
 # SVC (Stanford Validity Checker)
 #SVC_HOME=
 #SVC_MACHINE=i386-redhat-linux