Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. misc tuning and modernization;
  2. misc tuning and modernization;
Changeset 63356:77332fed33c3 by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Library/Float.thy (diff)
Changeset 63355:7b23053be254 by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Library/Code_Real_Approx_By_Float.thy (diff)