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

instance ProoftextEng of Prooftext = open 
  LexTheoryEng, 
  GrammarEng, 
  SymbolicEng, 
  SymbolEng, 
  (C=ConstructX),
  CombinatorsEng, 
  ConstructorsEng in {
  }
  ;