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

1 files changed, 0 insertions, 26 deletions

diff --git a/next-lib/src/german/ExtGer.gf b/next-lib/src/german/ExtGer.gf
deleted file mode 100644
index b87b483e6..000000000
--- a/next-lib/src/german/ExtGer.gf
+++ /dev/null
@@ -1,26 +0,0 @@
---concrete ExtGer of ExtGerAbs = CatGer ** open ResGer in {
---
---  lincat
---
---    Aux = {s : Polarity => Str} ;
---    
---  lin
--- 
---    PredAux np aux vp = mkClause (np.s ! Nom) np.a {
---      s = \\t,ant,b,ord,agr => 
---        let 
---          fin  = aux.s ! b ;
---          vf : Str -> Str -> {fin, inf : Str} = \x,y -> 
---            {fin = x ; inf = y} ;
---        in
---        case ant of {
---          Simul => vf fin [] ;
---          Anter => vf fin "have"
---          } ;
---      s2 = \\agr => infVP vp agr
---      } ;
---
---    can_Aux  = {s = \\p => posneg p "can"} ; ---- cannt
---    must_Aux = {s = \\p => posneg p "must"} ;
---
---}