+ use literals in ieee_float theory
+ add 'minInt and 'maxInt attributes for range types + add 'eb and 'sb attributes for float types + make ieee_float realization compatible with Coq 8.4
Showing
+ add 'minInt and 'maxInt attributes for range types + add 'eb and 'sb attributes for float types + make ieee_float realization compatible with Coq 8.4