--- a/src/HOL/IsaMakefile Sat May 24 19:52:53 2003 +0200 +++ b/src/HOL/IsaMakefile Mon May 26 11:42:41 2003 +0200 @@ -4,9 +4,6 @@ # IsaMakefile for HOL # -# for overriding proof objects in HOL image -HOL_PROOF_OBJECTS=-p 2 - ## targets default: HOL