--- a/README	Sun Nov 14 12:09:14 2010 +0000
+++ b/README	Sun Nov 14 16:34:47 2010 +0000
@@ -9,8 +9,6 @@
 
 Nominal/Ex    ... examples for new implementation
 
-Nominal-General . implementation of the abstract nominal theory
-
 
 
 
@@ -28,6 +26,6 @@
 Pearl         ... accepted at ITP 
 Pearl-jv      ... journal version
 
-Quotient-Paper .. submitted to SAC
+Quotient-Paper .. accepted to SAC
 
 Slides        ... various talks Christian gave recently
\ No newline at end of file