gf-3.1.6: lib/src/demo/DemoTha.gf

--# -path=.:alltenses

concrete DemoTha of Demo = LangTha ** 
  open LangTha in {

  lin 
    AdjN ap n = AdjCN ap (UseN n) ;
    AdAdj ad a = AdAP ad (PositA a) ;

}