From 5c713d8f027a9b6be687ee3f7e917e8bd2115773 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 27 Jun 2008 09:18:50 +0000 Subject: took away old-examples --- old-examples/systemS/Proof.gf | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100644 old-examples/systemS/Proof.gf (limited to 'old-examples/systemS/Proof.gf') diff --git a/old-examples/systemS/Proof.gf b/old-examples/systemS/Proof.gf deleted file mode 100644 index 06a6f1c68..000000000 --- a/old-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