diff -r 41137dc935ff -r 8193bbaa07fe README --- 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