diff -r d2e929f51fa9 -r 39f8d405d7a2 README
--- a/README	Sun Aug 29 01:45:07 2010 +0800
+++ b/README	Sun Aug 29 12:14:40 2010 +0800
@@ -1,7 +1,21 @@
 This repository contain a new implementation of
 Nominal Isabelle.
 
+
 Subdirectories:
+===============
+
+Nominal       ... main files for new Nominal Isabelle
+
+Nominal/Ex    ... examples for new implementation
+
+Nominal-General . implementation of the abstract nominal theory
+
+
+
+
+Outher Subdirectories:
+======================
 
 Attic         ... old version of the quotient package (is now 
                   part of the Isabelle distribution)
@@ -9,15 +23,9 @@
 Literature    ... some relevant papers about binders and
                   Core-Haskell
 
-Nominal-General . implementation of the abstract nominal theory
-
-Nominal       ... main files for new Nominal Isabelle
-
-Nominal/Ex    ... examples for new implementation
-
 Paper         ... submitted to POPL
 
 Pearl         ... accepted at ITP 
 Pearl-jv      ... journal version
 
-Quotient-Paper .. submitted to APLAS
\ No newline at end of file
+Quotient-Paper .. submitted to SAC
\ No newline at end of file