HomeIsabelle/Phabricator
Diffusion afp-devel b07ef065d5d2

Rounding modes renamed
b07ef065d5d2
Actions

Description

Rounding modes renamed

Details

Provenance
Tjark Weber <tjark.weber@it.uu.se>Authored on
Parents
rAFP60387100baaf: merged
Branches
Unknown
Tags
Unknown

Event Timeline

Tjark Weber <tjark.weber@it.uu.se> committed rAFPb07ef065d5d2: Rounding modes renamed.May 10 2023, 3:01 PM

Changes (1)

PathSize
thys/
MFODL_Monitor_Optimized/

rAFPb07ef065d5d2

View Options

thys/MFODL_Monitor_Optimized/Code_Double.thy

Loading...