--- a/README	Tue Feb 19 05:38:46 2013 +0000
+++ b/README	Tue Feb 19 06:58:14 2013 +0000
@@ -15,22 +15,3 @@
 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         ... accepted at ESOP
-
-Pearl         ... accepted at ITP 
-Pearl-jv      ... accepted at LMCS
-
-Quotient-Paper .. accepted to SAC
-
-Slides        ... various talks Christian gave recently
\ No newline at end of file