xref: /seL4-l4v-10.1.1/HOL4/src/TeX/theory_tests/proj1paper/paper.htex

\HOLtm{foo x = 3}