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

1 files changed, 0 insertions, 63 deletions

diff --git a/next-lib/src/interlingua/ResIna2.gf b/next-lib/src/interlingua/ResIna2.gf
deleted file mode 100644
index e0e9d42f2..000000000
--- a/next-lib/src/interlingua/ResIna2.gf
+++ /dev/null
@@ -1,63 +0,0 @@
---# -path=.:../abstract:../common:../../prelude
-
---1 Interlingua auxiliary operations.
-
--- This module contains operations that are needed to make the
--- resource syntax work. To define everything that is needed to
--- implement $Test$, it moreover contains regular lexical
--- patterns needed for $Lex$.
-
-resource ResIna2 = ParamX ** open Prelude in {
-
-  flags optimize=all ;
-
-
--- Some parameters, such as $Number$, are inherited from $ParamX$.
-
---2 For $Noun$
-
--- This is the worst-case $Case$ needed for pronouns.
-
-
-  param
-    VForm
-      = VInf
-      | VPres
-      | VPPart
-      | VPresPart
-      | VPast      --# notpresent
-      | VFut       --# notpresent
-      | VCond      --# notpresent
-      ;
-
-  oper
-
-
-
-    mkVerb : Str -> Verb = \crear->
-      let crea = init crear
-      in {s = table {
-    	    VInf    => crear;
-	    VPres   => crea;
-	    VPast   => crea + "va"; 
-	    VFut    => crear + "a"; 
-	    VCondit => crear + "ea";
- 	    VPPart  => case crear of {
- 	      rid + "er" => rid + "ite";
- 	      _         => crea + "te" 
- 	      };
- 	    VPresPart => case crear of {
- 	      aud + "ir" => aud + "iente";
- 	      _         => crea  + "nte"
- 	      }}};
-
-
-  ---- For $Verb$.
-    --
-    Verb : Type = {
-      s : VForm => Str ;
-      --    isRefl : Bool
-      } ;
-
-
-}