project.ruler.systems - Revision 58: /ruler-initial/semantics
..
Semantics.hs
mathpartir.sty
semantics.tex