Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. more correct approximation (contributed by Achim Brucker)
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

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. An attempt for an integrated solution for quick-and-dirty evaluation.
Changeset 12906:cabf521b7579 by haftmann:
An attempt for an integrated solution for quick-and-dirty evaluation.
The file was modified thys/Gauss_Jordan/Code_Real_Approx_By_Float_Haskell.thy
The file was modified thys/MDP-Algorithms/code/Code_Real_Approx_By_Float_Fix.thy