diff -r 5d932e7a856c -r 81f40b8bde7b IsaMakefile
--- a/IsaMakefile	Mon Dec 07 14:35:45 2009 +0100
+++ b/IsaMakefile	Mon Dec 07 14:37:10 2009 +0100
@@ -3,9 +3,8 @@
 
 default: Quot
 images: 
-test: Quot
 
-all: images test
+all: Quot
 
 
 ## global settings
@@ -16,13 +15,12 @@
 
 USEDIR = $(ISABELLE_TOOL) usedir -v true -i true -d pdf  ## -D generated
 
-
 ## Quot
 
 Quot: $(LOG)/HOL-Quot.gz
 
 $(LOG)/HOL-Quot.gz: Quot/ROOT.ML Quot/*.thy
-	@$(USEDIR) HOL Quot
+	@$(USEDIR) HOL-Nominal Quot
 
 
 ## clean