diff -r cc6e281d8f72 -r 0a36825b16c1 IsaMakefile
--- a/IsaMakefile	Fri Aug 27 02:08:36 2010 +0800
+++ b/IsaMakefile	Fri Aug 27 03:37:17 2010 +0800
@@ -1,10 +1,10 @@
 
 ## targets
 
-default: Nominal2
+default: test
 images: 
 
-all: Nominal2 paper pearl pearl-jv qpaper
+all: test paper pearl pearl-jv qpaper
 
 
 ## global settings
@@ -18,7 +18,7 @@
 
 ## Nominal2
 
-Nominal2: $(LOG)/HOL-Nominal2.gz
+test: $(LOG)/HOL-Nominal2.gz
 
 $(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy
 	@cd Nominal; $(USEDIR) -b -d "" HOL Nominal