Skip to content
Failed

Changes

Summary

  1. Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.sa12ev
  2. fix for 16a8991ab398
Changeset 7878:31aea359d80a by paulson _lp15@cam.ac.uk_:
Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.sa12ev
Changeset 7877:1a9d705c641b by paulson _lp15@cam.ac.uk_:
fix for 16a8991ab398
The file was modified thys/Stirling_Formula/Ln_Gamma_Asymptotics.thy (diff)