--- a/IsaMakefile	Mon Jan 16 13:53:35 2012 +0000
+++ b/IsaMakefile	Tue Jan 24 14:05:24 2012 +0000
@@ -13,15 +13,22 @@
 OUT = $(ISABELLE_OUTPUT)
 LOG = $(OUT)/log
 
-USEDIR = $(ISABELLE_TOOL) usedir -v true -t true -m no_brackets ##-D generated
+USEDIR = $(ISABELLE_TOOL) usedir -v true -t true -m no_brackets
+
+## Nominal2                                                                                                             
+
+session: $(LOG)/HOL-Nominal2.gz
+
+$(LOG)/HOL-Nominal2.gz: Nominal/FROOT.ML Nominal/*.thy
+	@cd Nominal; $(USEDIR) -f FROOT.ML -b -d "" HOL Nominal2
 
 
-## Nominal2
+## tests
 
-tests: $(LOG)/HOL-Nominal2.gz
+tests: $(LOG)/HOL-Nominal2-test.gz
 
-$(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy
-	@cd Nominal; $(USEDIR) -b -d "" HOL Nominal2
+$(LOG)/HOL-Nominal2-tests.gz: Nominal/ROOT.ML Nominal/*.thy
+	@cd Nominal; $(USEDIR) HOL Nominal2
 
 ## ESOP Paper