| changeset 16419 | 0c3db621bbbd |
| parent 16250 | 1a91cdebd604 |
| child 16775 | c1b87ef4a1c3 |
--- 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"