README
changeset 1774 c34347ec7ab3
parent 1773 c0eac04ae3b4
child 2382 e8b9c0ebf5dd
--- a/README	Sat Apr 03 22:31:11 2010 +0200
+++ b/README	Sun Apr 04 21:39:28 2010 +0200
@@ -3,16 +3,18 @@
 
 Subdirectories:
 
-Attic       ... old version of the quotient package (is now 
-                part of the Isabelle distribution)
+Attic         ... old version of the quotient package (is now 
+                  part of the Isabelle distribution)
 
-Literature  ... some relevant papers bout binders and
-                Core-Haskell
+Literature    ... some relevant papers about binders and
+                  Core-Haskell
+
+Nominal-General . implementation of the abstract nominal theory
 
-Nominal     ... main files for Nominal Isabelle
+Nominal       ... main files for new Nominal Isabelle
 
-Nominal/Ex  ... examples for new implementation
+Nominal/Ex    ... examples for new implementation
 
-Paper       ... submitted
+Paper         ... submitted to ICFP
 
-Pearl       ... paper accepted at ITP 
\ No newline at end of file
+Pearl         ... paper accepted at ITP 
\ No newline at end of file