etc/settings
changeset 16419 0c3db621bbbd
parent 16250 1a91cdebd604
child 16775 c1b87ef4a1c3
     1.1 --- a/etc/settings	Fri Jun 17 16:18:49 2005 +0200
     1.2 +++ b/etc/settings	Fri Jun 17 17:06:11 2005 +0200
     1.3 @@ -222,3 +222,6 @@
     1.4  
     1.5  # Jerusat 1.3 (SAT Solver)
     1.6  #JERUSAT_HOME=/usr/local/bin
     1.7 +
     1.8 +# HOL4 proof objects (cf. Isabelle/src/HOL/Import)
     1.9 +HOL4_PROOFS="$PROOF_DIRS:$ISABELLE_HOME_USER/proofs:$ISABELLE_HOME/proofs"