From a06bdccabcaf4878ebf6353eecd3a5f1c980f1bd Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 29 Aug 2002 01:34:29 +0000
Subject: AF2 eradicate

---
 phox/example.phx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'phox')

diff --git a/phox/example.phx b/phox/example.phx
index a0edbe48..5dacbb20 100644
--- a/phox/example.phx
+++ b/phox/example.phx
@@ -1,5 +1,5 @@
 (*
-    Example proof script for AF2 Proof General
+    Example proof script for PhoX Proof General
 
     $Id$
 *)
-- 
cgit v1.2.3