Files
gf-core/examples/logic/LexTheory.gf
T