From e7439d65b0e153434d3acc07df6e2a0972ee79ca Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Tue, 11 Jan 2011 15:46:43 +0000
Subject: gf-book web page index and toc

---
 book/examples/chapter9/Anaphora.gf | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 book/examples/chapter9/Anaphora.gf

(limited to 'book/examples/chapter9/Anaphora.gf')

diff --git a/book/examples/chapter9/Anaphora.gf b/book/examples/chapter9/Anaphora.gf
deleted file mode 100644
index 5cbb92c94..000000000
--- a/book/examples/chapter9/Anaphora.gf
+++ /dev/null
@@ -1,17 +0,0 @@
-abstract Anaphora = TestSemantics - [she_NP] ** {
-
-cat
-  Proof Prop ;
-
-fun
-  IfS : (A : S) -> (Proof (iS A) -> S) -> S ;
-
-  AnaNP : (A : CN) -> (a : Ind) -> Proof (iCN A a) -> NP ;
-
-  pe : (B : Ind -> Prop) -> Proof (Exist B) -> Ind ;
-  qe : (B : Ind -> Prop) -> (c : Proof (Exist B)) -> Proof (B (pe B c)) ;
-
-  pc : (A,B : Prop) -> Proof (And A B) -> Proof A ;
-  qc : (A,B : Prop) -> Proof (And A B) -> Proof B ;
-
-}
-- 
cgit v1.2.3