From e9e80fc389365e24d4300d7d5390c7d833a96c50 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Wed, 25 Jun 2008 16:54:35 +0000
Subject: changed names of resource-1.3; added a note on homepage on release

---
 examples/systemS/Proof.gf | 23 -----------------------
 1 file changed, 23 deletions(-)
 delete mode 100644 examples/systemS/Proof.gf

(limited to 'examples/systemS/Proof.gf')

diff --git a/examples/systemS/Proof.gf b/examples/systemS/Proof.gf
deleted file mode 100644
index 06a6f1c68..000000000
--- a/examples/systemS/Proof.gf
+++ /dev/null
@@ -1,23 +0,0 @@
-abstract Proof = Formula ** {
-
-  cat
-    Text ;
-    Proof ;
-    [Formula] ;
-
-  fun
-    Start : [Formula] -> Formula -> Proof -> Text ;
-
-    Hypo : Proof ;
-    Implic : [Formula] -> Formula -> Proof -> Proof ;
-    RedAbs : Formula -> Proof -> Proof ;
-    ExFalso : Formula -> Proof ;
-    ConjSplit : Formula -> Formula -> Formula -> Proof -> Proof ;
-    ModPon : [Formula] -> Formula -> Proof -> Proof ;
-    Forget : [Formula] -> Formula -> Proof -> Proof ;
-
-    DeMorgan1, DeMorgan2 : Formula -> Formula -> Proof -> Proof ;
-    ImplicNeg : [Formula] -> Formula -> Proof -> Proof ;
-    NegRewrite : Formula -> [Formula] -> Proof -> Proof ;
-
-}
-- 
cgit v1.2.3