Summary
- prefer prefix over instantiation in Prefix_Order
- bitlen(mantissa) is also valid with 53 bits
The file was modified | thys/Word_Lib/Word_Lemmas.thy (diff) |
The file was modified | thys/IEEE_Floating_Point/Code_Float.thy (diff) |
The file was modified | thys/IEEE_Floating_Point/Conversion_IEEE_Float.thy (diff) |