Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. misc tuning and modernization; tuned document;
Changeset 6803:2569ea23f4d1 by wenzelm:
misc tuning and modernization;<br>tuned document;
The file was modified thys/IEEE_Floating_Point/Code_Float.thy (diff)
The file was modified thys/IEEE_Floating_Point/FloatProperty.thy (diff)
The file was modified thys/IEEE_Floating_Point/IEEE.thy (diff)
The file was modified thys/IEEE_Floating_Point/RoundError.thy (diff)
The file was modified thys/IEEE_Floating_Point/document/root.tex (diff)