-
Heiko Becker authored
Add explanation of isMorePrecise for fixed-points, rename M0 into REAL and remove unused import from Expressions.v
40a32997
Add explanation of isMorePrecise for fixed-points, rename M0 into REAL and remove unused import from Expressions.v