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