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

HOL 4, Kananaskis-10