--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/README	Sat Apr 03 22:31:11 2010 +0200
@@ -0,0 +1,18 @@
+This repository contain a new implementation of
+Nominal Isabelle.
+
+Subdirectories:
+
+Attic       ... old version of the quotient package (is now 
+                part of the Isabelle distribution)
+
+Literature  ... some relevant papers bout binders and
+                Core-Haskell
+
+Nominal     ... main files for Nominal Isabelle
+
+Nominal/Ex  ... examples for new implementation
+
+Paper       ... submitted
+
+Pearl       ... paper accepted at ITP 
\ No newline at end of file