xref: /seL4-l4v-master/HOL4/tools/Holmake/tests/empty_script/dir/noproductScript.sml

open HolKernel Parse boolLib

val _ = new_theory "noproduct";


val foo_def = save_thm("foo_def", TRUTH);