From 59e99ef53e76cdb15a7609b88d996e99afe31c20 Mon Sep 17 00:00:00 2001
From: Christophe Raffalli
Date: Fri, 1 Dec 2000 17:46:38 +0000
Subject: af2 is now called PhoX

---
 README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'README')

diff --git a/README b/README
index ba42bc4a..ff210cd9 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/   PhoX
+     phox/   PhoX
      coq/   Coq
  demoisa/   Demonstration instance for Isabelle
      isa/   Isabelle
-- 
cgit v1.2.3