--- a/README	Sat Dec 17 16:58:11 2011 +0000
+++ b/README	Sat Dec 17 17:03:01 2011 +0000
@@ -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