forked from GitHub/gf-core
6 lines
178 B
Plaintext
6 lines
178 B
Plaintext
concrete MathTextGer of MathText = LogicGer ** MathTextI with
|
|
(LexLogic = LexLogicGer),
|
|
(Syntax = SyntaxGer),
|
|
(Lang = LangGer), ---- for ImpP3
|
|
(Symbolic = SymbolicGer) ;
|