Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Merge
  2. Adjustments for removal of exp_real_of_nat_mult and new simprules
Changeset 7868:27b70b1dc29e by paulson _lp15@cam.ac.uk_:
Merge
Changeset 7867:da1bfa7a4e51 by paulson _lp15@cam.ac.uk_:
Adjustments for removal of exp_real_of_nat_mult and new simprules
The file was modified thys/Ergodic_Theory/Fekete.thy (diff)
The file was modified thys/MFMC_Countable/MFMC_Misc.thy (diff)
The file was modified thys/Special_Function_Bounds/Exp_Bounds.thy (diff)