Changeset 1599 for src/common/Floats.ma
- Timestamp:
- Dec 13, 2011, 1:34:37 AM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/common/Floats.ma
r961 r1599 59 59 60 60 axiom Fcmp_ne_eq: 61 ∀ f1,f2. Fcmp Cne f1 f2 = ¬(Fcmp Ceq f1 f2).61 ∀ f1,f2. Fcmp Cne f1 f2 = (¬(Fcmp Ceq f1 f2)). 62 62 axiom Fcmp_le_lt_eq: 63 63 ∀ f1,f2. Fcmp Cle f1 f2 = (Fcmp Clt f1 f2 ∨ Fcmp Ceq f1 f2).
Note: See TracChangeset
for help on using the changeset viewer.