Structure machine_ieeeLib

Source File	Identifier index	Theory binding index

signature machine_ieeeLib =
sig
   val mk_fp_encoding: string * int * int * string option -> Thm.thm list
end

Source File	Identifier index	Theory binding index