From bf35167a87fc74a3317b2c08937b85e4b48cf0d0 Mon Sep 17 00:00:00 2001
From: Christophe Raffalli
Date: Fri, 1 Dec 2000 17:32:21 +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 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
-- 
cgit v1.2.3