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

---
 af2/example.af2 | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 af2/example.af2

(limited to 'af2/example.af2')

diff --git a/af2/example.af2 b/af2/example.af2
deleted file mode 100644
index 36ece411..00000000
--- a/af2/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
-- 
cgit v1.2.3