Structure machine_ieeeSyntax


Source File Identifier index Theory binding index

signature machine_ieeeSyntax =
sig
   structure fp16Syntax : fpSyntax
   structure fp32Syntax : fpSyntax
   structure fp64Syntax : fpSyntax
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-10