diff -r 5d0d24bd2c96 -r 0c3db621bbbd etc/settings
--- a/etc/settings	Fri Jun 17 16:18:49 2005 +0200
+++ b/etc/settings	Fri Jun 17 17:06:11 2005 +0200
@@ -222,3 +222,6 @@
 
 # Jerusat 1.3 (SAT Solver)
 #JERUSAT_HOME=/usr/local/bin
+
+# HOL4 proof objects (cf. Isabelle/src/HOL/Import)
+HOL4_PROOFS="$PROOF_DIRS:$ISABELLE_HOME_USER/proofs:$ISABELLE_HOME/proofs"