diff -r a9b6a00b1ba0 -r ac7dff1194e8 IsaMakefile
--- a/IsaMakefile	Sat Sep 18 06:09:43 2010 +0800
+++ b/IsaMakefile	Mon Sep 20 21:52:45 2010 +0800
@@ -20,8 +20,8 @@
 
 tests: $(LOG)/HOL-Nominal2.gz
 
-#$(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy
-#	@cd Nominal; $(USEDIR) -b -d "" HOL Nominal
+$(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy
+	@cd Nominal; $(USEDIR) -b -d "" HOL Nominal
 
 ## Nominal2 Paper