1 files changed, 0 insertions, 21 deletions
diff --git a/transfer/examples/reflexive/tree.tra b/transfer/examples/reflexive/tree.tra
deleted file mode 100644
index 7bef5e019..000000000
--- a/transfer/examples/reflexive/tree.tra
+++ /dev/null
@@ -1,21 +0,0 @@
-import prelude ;
-data Cat : Type where {
-  Conj : Cat ;
-  NP : Cat ;
-  S : Cat ;
-  V2 : Cat 
-} ;
-data Tree : Cat -> Type where {
-  And : Tree Conj ;
-  Bill : Tree NP ;
-  ConjNP : Tree Conj -> Tree NP -> Tree NP -> Tree NP ;
-  John : Tree NP ;
-  Mary : Tree NP ;
-  Or : Tree Conj ;
-  PredV2 : Tree V2 -> Tree NP -> Tree NP -> Tree S ;
-  ReflV2 : Tree V2 -> Tree NP -> Tree S ;
-  See : Tree V2 ;
-  Whip : Tree V2 
-} ;
-derive Eq Tree ;
-derive Compos Tree ;