Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Further streamlining of quick-and-dirty evaluation.
  2. more correct approximation (contributed by Achim Brucker)
Changeset 75800:a21debbc7074 by haftmann:
Further streamlining of quick-and-dirty evaluation.
The file was modified src/HOL/Library/Code_Real_Approx_By_Float.thy (diff)
Changeset 75799:f1141438b4db by achim d. brucker _adbrucker@0x5f.org_:
more correct approximation (contributed by Achim Brucker)
The file was modified src/HOL/Library/Code_Real_Approx_By_Float.thy (diff)