--- a/src/HOL/IsaMakefile Sat Sep 29 10:04:52 2007 +0200 +++ b/src/HOL/IsaMakefile Sat Sep 29 10:40:12 2007 +0200 @@ -48,6 +48,8 @@ HOL-ZF # ^ this is the sort position +proofterms: HOL HOL-Extraction HOL-Lambda + all: test images