--- a/README	Sat May 12 21:05:59 2012 +0100
+++ b/README	Sat May 12 21:39:09 2012 +0100
@@ -5,27 +5,5 @@
 Subdirectories:
 ===============
 
-Nominal       ... main files for new Nominal Isabelle
-
-Nominal/Ex    ... examples for new implementation
-
-
-
-
-Outher Subdirectories:
-======================
-
-Attic         ... old version of the quotient package (is now 
-                  part of the Isabelle distribution)
-
-Literature    ... some relevant papers about binders and
-                  Core-Haskell
-
-Paper         ... submitted to ESOP
-
-Pearl         ... accepted at ITP 
-Pearl-jv      ... journal version
-
-Quotient-Paper .. accepted to SAC
-
-Slides        ... various talks Christian gave recently
\ No newline at end of file
+Nominal       ... main files
+Nominal/Ex    ... examples