gf-3.1.6: examples/sammie/SammieSpa.gf

--# -path=.:alltenses:mathematical:prelude

concrete SammieSpa of Sammie = SammieI with
  (Grammar = GrammarSpa), 
  (Symbol = SymbolSpa),
  (ParamSammie = ParamSammieSpa)
 ;