xref: /seL4-l4v-master/HOL4/src/1/holmake_interactive.sml

val _ = Globals.interactive := true;