Skip to content
Success

Changes

Summary

  1. adding conversion between IEEE.float and Float.float (thanks to Fabian Hellauer); more code setup for IEEE.float
Changeset 8466:1ce61596532e by immler:
adding conversion between IEEE.float and Float.float (thanks to Fabian Hellauer); more code setup for IEEE.float
The file was addedthys/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)