1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL b/INSTALL
index e8aee607..719e46a8 100644
--- a/INSTALL
+++ b/INSTALL
@@ -22,7 +22,7 @@ the assistants below:
   .l	    LEGO files
   .thy      Isabelle files
   .ML       Isabelle files
-  .af2	    AF2 files
+  .phx	    PhoX files
   .sml	    HOL98 files
   .elf	    Twelf files
   .acl2	    ACL2 files