Transfer: Changed transfer program file extension from .tr to .tra to avoid collision with Troff file extension.

1 files changed, 0 insertions, 23 deletions

diff --git a/transfer/examples/aggregation/tree.tr b/transfer/examples/aggregation/tree.tr
deleted file mode 100644
index 5515efa21..000000000
--- a/transfer/examples/aggregation/tree.tr
+++ /dev/null
@@ -1,23 +0,0 @@
-import prelude ;
-data Cat : Type where {
-  Conj : Cat ;
-  NP : Cat ;
-  S : Cat ;
-  VP : Cat 
-} ;
-data Tree : Cat -> Type where {
-  And : Tree Conj ;
-  Bill : Tree NP ;
-  ConjNP : Tree Conj -> Tree NP -> Tree NP -> Tree NP ;
-  ConjS : Tree Conj -> Tree S -> Tree S -> Tree S ;
-  ConjVP : Tree Conj -> Tree VP -> Tree VP -> Tree VP ;
-  John : Tree NP ;
-  Mary : Tree NP ;
-  Or : Tree Conj ;
-  Pred : Tree NP -> Tree VP -> Tree S ;
-  Run : Tree VP ;
-  Swim : Tree VP ;
-  Walk : Tree VP 
-} ;
-derive Eq Tree ;
-derive Compos Tree ;