next-lib renamed to lib, lib to old-lib

1 files changed, 0 insertions, 22 deletions

diff --git a/next-lib/src/abstract/Idiom.gf b/next-lib/src/abstract/Idiom.gf
deleted file mode 100644
index 6b012becc..000000000
--- a/next-lib/src/abstract/Idiom.gf
+++ /dev/null
@@ -1,22 +0,0 @@
---1 Idiom: Idiomatic Expressions
-
-abstract Idiom = Cat ** {
-
--- This module defines constructions that are formed in fixed ways,
--- often different even in closely related languages.
-
-  fun
-    ImpersCl  : VP -> Cl ;        -- it is hot
-    GenericCl : VP -> Cl ;        -- one sleeps
-
-    CleftNP   : NP  -> RS -> Cl ; -- it is I who did it
-    CleftAdv  : Adv -> S  -> Cl ; -- it is here she slept
-
-    ExistNP   : NP -> Cl ;        -- there is a house
-    ExistIP   : IP -> QCl ;       -- which houses are there
-
-    ProgrVP   : VP -> VP ;        -- be sleeping
-
-    ImpPl1    : VP -> Utt ;       -- let's go
-
-}