--- a/Attic/IsaMakefile	Tue Mar 16 17:20:46 2010 +0100
+++ b/Attic/IsaMakefile	Tue Mar 16 18:02:08 2010 +0100
@@ -21,7 +21,7 @@
 Quot: $(LOG)/HOL-Quot.gz
 
 $(LOG)/HOL-Quot.gz: Quot/ROOT.ML Quot/*.thy
-	@$(USEDIR) HOL-Nominal Quot
+	@$(USEDIR) HOL-Plain Quot
 
 paper: $(LOG)/HOL-Quot-Paper.gz
 
@@ -38,8 +38,7 @@
 	cp $(ISABELLE_HOME)/heaps/polyml-5.3.0_x86-linux/log/HOL-Nominal.gz tmp
 	cp $(LOG)/HOL-Nominal-Quot.gz tmp
 	isabelle keywords -k quot tmp/*
-	
-	
+
 ## clean
 
 clean: