Summary
- clarified theories;
The file was added | thys/IEEE_Floating_Point/IEEE_Properties.thy |
The file was modified | thys/IEEE_Floating_Point/Code_Float.thy (diff) |
The file was modified | thys/IEEE_Floating_Point/ROOT (diff) |
The file was removed | thys/IEEE_Floating_Point/FloatProperty.thy |
The file was removed | thys/IEEE_Floating_Point/RoundError.thy |