suggest -p 1 proof object level for HOL
authorkleing
Tue Mar 09 04:22:50 2004 +0100 (2004-03-09)
changeset 14448ba25d002a59c
parent 14447 5b61dc4eab24
child 14449 d5c3d21df790
suggest -p 1 proof object level for HOL
etc/user-settings.sample
     1.1 --- a/etc/user-settings.sample	Tue Mar 09 04:19:41 2004 +0100
     1.2 +++ b/etc/user-settings.sample	Tue Mar 09 04:22:50 2004 +0100
     1.3 @@ -4,4 +4,5 @@
     1.4  # Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings
     1.5  
     1.6  ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
     1.7 +HOL_PROOF_OBJECTS="-p 1"
     1.8  ISABELLE_LOGIC=HOL