2 lines
79 B
Plaintext
2 lines
79 B
Plaintext
concrete ClauseCat of Clause = CatCat ** ClauseI with (Grammar = GrammarCat) ;
|
concrete ClauseCat of Clause = CatCat ** ClauseI with (Grammar = GrammarCat) ;
|