/docs/opt-coercion/

• ../
• Makefile
• code.sty
• denot.sty
• fc-normalization-rta.bib
• fc-normalization-rta.tex
• lipics.cls
• prooftree.sty