1 files changed, 1 insertions, 1 deletions
diff --git a/README b/README
index bb381ac0..ba42bc4a 100644
--- a/README
+++ b/README
@@ -26,7 +26,7 @@ For notes on the supported assistants, see the README files
 in the subdirectories:
 
     acl2/   ACL2
-     af2/   AF2
+     af2/   PhoX
      coq/   Coq
  demoisa/   Demonstration instance for Isabelle
      isa/   Isabelle