Summary
- adding conversion between IEEE.float and Float.float (thanks to Fabian Hellauer); more code setup for IEEE.float
The file was added | thys/IEEE_Floating_Point/Conversion_IEEE_Float.thy |
The file was modified | metadata/metadata (diff) |
The file was modified | thys/IEEE_Floating_Point/Code_Float.thy (diff) |
The file was modified | thys/IEEE_Floating_Point/ROOT (diff) |