From 06d72fb68fd9dd57632650f1a79de01317a6069f Mon Sep 17 00:00:00 2001
From: Christophe Raffalli
Date: Fri, 22 Sep 2017 00:28:27 +0200
Subject: phox is back

---
 phox/example.phx | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100644 phox/example.phx

(limited to 'phox/example.phx')

diff --git a/phox/example.phx b/phox/example.phx
deleted file mode 100644
index 5dacbb20..00000000
--- a/phox/example.phx
+++ /dev/null
@@ -1,22 +0,0 @@
-(*
-    Example proof script for PhoX Proof General
-
-    $Id$
-*)
-
-(*
-goal /\n:N (ack n N1 >= N2).
-intro 2.
-elim H.
-trivial.
-elim -1 [case] H0.
-trivial.
-trivial.
-save ack_lem7.
-*)
-
-prop (* test *) (* just un test *) test /\X (X -> X).
-print $0.
-trivial.
-save.
-
-- 
cgit v1.2.3