examples/logic/TheoryEng.gf


1
2
3
4
5
6
7
8
9
10

--# -path=.:mathematical:present:resource-1.0/api:prelude

concrete TheoryEng of Theory = TheoryI with
  (LexTheory = LexTheoryEng), 
  (Grammar = GrammarEng), 
  (Symbolic = SymbolicEng), 
  (Symbol = SymbolEng), 
  (Combinators = CombinatorsEng), 
  (Constructors = ConstructorsEng), 
  ;