examples/logic/ProoftextEng.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

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

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

oper
  mkLabel : Str -> Label = \s -> UsePN (P.regPN s) ;


}