--- a/README	Mon May 19 11:19:48 2014 +0100
+++ b/README	Mon May 19 12:45:26 2014 +0100
@@ -6,6 +6,12 @@
 
 isabelle build -d . -g Tests
 
+The version of Nominal2 in the AFP can be tested with
+
+isabelle build -d . Nominal2
+isabelle build -d . Launchbury 
+
+
 
 Subdirectories:
 ===============