diff -r 3641530002d6 -r 425b4c406d80 IsaMakefile --- a/IsaMakefile Sat Jun 09 19:48:19 2012 +0100 +++ b/IsaMakefile Mon Jun 11 14:02:57 2012 +0100 @@ -30,6 +30,7 @@ $(LOG)/HOL-Nominal2-tests.gz: Nominal/ROOT.ML Nominal/*.thy @$(USEDIR) HOL Nominal @$(USEDIR) HOL Tutorial + @$(USEDIR) HOL Nominal/Ex/CPS ## ESOP Paper