From d59fb6b4b4b9a311a2376c1f572a5c7824cfa0bd Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 21 Dec 2000 11:38:59 +0000
Subject: Renamed file

---
 phox/example.af2 | 9 ---------
 phox/example.phx | 9 +++++++++
 2 files changed, 9 insertions(+), 9 deletions(-)
 delete mode 100644 phox/example.af2
 create mode 100644 phox/example.phx

(limited to 'phox')

diff --git a/phox/example.af2 b/phox/example.af2
deleted file mode 100644
index 36ece411..00000000
--- a/phox/example.af2
+++ /dev/null
@@ -1,9 +0,0 @@
-(*
-    Example proof script for AF2 Proof General
-
-    $Id$
-*)
-
-prop (* test *) (* just un test *) test /\X (X -> X).
-trivial.
-save.
\ No newline at end of file
diff --git a/phox/example.phx b/phox/example.phx
new file mode 100644
index 00000000..36ece411
--- /dev/null
+++ b/phox/example.phx
@@ -0,0 +1,9 @@
+(*
+    Example proof script for AF2 Proof General
+
+    $Id$
+*)
+
+prop (* test *) (* just un test *) test /\X (X -> X).
+trivial.
+save.
\ No newline at end of file
-- 
cgit v1.2.3