tree: d54d6fad8c69ccbe75485090d57bcd221654cbdc
  1. macros.tex
  2. proof.sty
  3. static-semantics.tex
  4. strong-dart.pdf
  5. strong-dart.tex