1 files changed, 0 insertions, 17 deletions
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 ;
-
-}