1signature arm_progLib =
2sig
3   val addInstructionClass: string -> unit
4
5   val arm_config: string -> string -> unit
6   val arm_spec: string -> Thm.thm list
7   val arm_spec_code: string quotation -> Thm.thm list list
8   val arm_spec_hex: string -> Thm.thm list
9
10   val change_config_rule: Drule.rule
11
12   val set_newline: string -> unit
13end
14