xref: /seL4-l4v-master/HOL4/src/TeX/theory_tests/proj1paper/ppLib.sml

structure ppLib =
struct

local
open ppTheory
in
val x = 3
end

end