xref: /seL4-l4v-master/HOL4/examples/PSL/1.01/parser.mosmlyacc/load

load "Main";

open Data Main;