--- a/README	Mon Oct 29 14:00:48 2012 +0000
+++ b/README	Thu Nov 29 21:59:38 2012 +0000
@@ -1,6 +1,11 @@
 This repository contain a new implementation of
 Nominal Isabelle.
 
+Compilation of Tests
+====================
+
+isabelle build -d . -g Tests
+
 
 Subdirectories:
 ===============