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

1 files changed, 0 insertions, 18 deletions

diff --git a/next-lib/src/common/TenseX.gf b/next-lib/src/common/TenseX.gf
deleted file mode 100644
index 665bb146d..000000000
--- a/next-lib/src/common/TenseX.gf
+++ /dev/null
@@ -1,18 +0,0 @@
-concrete TenseX of Tense = open (R = ParamX) in {
-
-  lincat
-    Tense = {s : Str ; t : R.Tense} ;
-    Ant   = {s : Str ; a : R.Anteriority} ;
-    Pol   = {s : Str ; p : R.Polarity} ;
-
-  lin
-    PPos  = {s = []} ** {p = R.Pos} ;
-    PNeg  = {s = []} ** {p = R.Neg} ;
-    TPres = {s = []} ** {t = R.Pres} ;
-    TPast = {s = []} ** {t = R.Past} ;
-    TFut  = {s = []} ** {t = R.Fut} ;
-    TCond = {s = []} ** {t = R.Cond} ;
-    ASimul = {s = []} ** {a = R.Simul} ;
-    AAnter = {s = []} ** {a = R.Anter} ;
-
-}