examples/logic/ProoftextEng.gf


1
2
3
4
5
6
7
8
9
10
11
12

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

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