project.ruler.systems - Revision 58: /ruler-initial/hw-2009

• ..
• Makefile
• lazylist.sty
• mathpartir.sty
• paper.lhs
• paper.tex
• polytable.sty
• references.bib
• sigplanconf.cls