--# -path=.:../icelandic:../common:../abstract:../prelude

resource SymbolicIce = Symbolic with 
  (Symbol = SymbolIce),
  (Grammar = GrammarIce) ;