1 files changed, 0 insertions, 22 deletions
diff --git a/book/examples/chapter6/Verbs.gf b/book/examples/chapter6/Verbs.gf
deleted file mode 100644
index 371450aeb..000000000
--- a/book/examples/chapter6/Verbs.gf
+++ /dev/null
@@ -1,22 +0,0 @@
-abstract Verbs = {
-
-cat
-  S ; NP ; Subcat ; V Subcat ; Args Subcat ;
-
-fun
-  cIntr : Subcat ;
-  cTr   : Subcat ;
-  cS    : Subcat ;
-
-  aIntr : NP -> Args cIntr ;
-  aTr   : NP -> NP -> Args cTr ;
-  aS    : NP -> S  -> Args cS ;
-
-  pred  : (s : Subcat) -> V s -> Args s -> S ;
-
-  john, mary : NP ;
-  walk : V cIntr ;
-  love : V cTr ;
-  know : V cS ;
-
-}
-\ No newline at end of file