added GN & SN categories for constructing names

2022-12-15 08:44:42 +01:00
parent d0e433cd46
commit 7085acacc9
55 changed files with 371 additions and 43 deletions
@@ -91,7 +91,7 @@ concrete CatEst of Cat = CommonX ** open HjkEst, ResEst, Prelude in {
            c2,c3 : Compl ;
            isPre,isPre2 : Bool
            } ;
-    PN = {s : Case  => Str} ;
+    GN, SN, PN = {s : Case  => Str} ;

  linref
    VP = \vp -> linV vp.v ;