1signature x86_Lib = 2sig 3 include Abbrev 4 5 val x86_decode : string -> thm 6 val x86_step : string -> thm 7 8 val x86_test : string -> (string * string) list -> (string * string) list -> thm 9 10end 11