1 files changed, 0 insertions, 52 deletions
diff --git a/old-lib/resource/abstract/Conjunction.gf b/old-lib/resource/abstract/Conjunction.gf
deleted file mode 100644
index 4c2183919..000000000
--- a/old-lib/resource/abstract/Conjunction.gf
+++ /dev/null
@@ -1,52 +0,0 @@
---1 Conjunction: Coordination
-
--- Coordination is defined for many different categories; here is
--- a sample. The rules apply to *lists* of two or more elements,
--- and define two general patterns: 
--- - ordinary conjunction: X,...X and X
--- - distributed conjunction: both X,...,X and X
---
---
--- $VP$ conjunctions are not covered here, because their applicability
--- depends on language. Some special cases are defined in 
--- [``Extra`` ../abstract/Extra.gf].
-
-
-abstract Conjunction = Cat ** {
-
---2 Rules
-
-  fun
-    ConjS    : Conj -> [S] -> S ;     -- "he walks and she runs"
-    ConjAP   : Conj -> [AP] -> AP ;   -- "cold and warm"
-    ConjNP   : Conj -> [NP] -> NP ;   -- "she or we"
-    ConjAdv  : Conj -> [Adv] -> Adv ; -- "here or there"
-
----b    DConjS   : DConj -> [S] -> S ;    -- "either he walks or she runs"
----b    DConjAP  : DConj -> [AP] -> AP ;  -- "both warm and cold"
----b    DConjNP  : DConj -> [NP] -> NP ;  -- "either he or she"
----b    DConjAdv : DConj -> [Adv] -> Adv; -- "both here and there"
-
---2 Categories
-
--- These categories are only used in this module.
-
-  cat
-    [S]{2} ; 
-    [Adv]{2} ; 
-    [NP]{2} ; 
-    [AP]{2} ;
-
---2 List constructors
-
--- The list constructors are derived from the list notation and therefore
--- not given explicitly. But here are their type signatures:
-
-  --  BaseC : C -> C   -> [C] ;  -- for C = S, AP, NP, Adv
-  --  ConsC : C -> [C] -> [C] ;
-}
-
---.
--- *Note*. This module uses right-recursive lists. If backward
--- compatibility with API 0.9 is needed, use
--- [SeqConjunction SeqConjunction.html].