Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Adjustments for isabelle-dev/4b8d1df8933b; more material for Bernoulli
Changeset 8197:8d6d64a3a0d2 by manuel eberl _eberlm@in.tum.de_:
Adjustments for isabelle-dev/4b8d1df8933b; more material for Bernoulli
The file was addedthys/Bernoulli/Bernoulli_Zeta.thy
The file was modified thys/Bernoulli/Bernoulli_FPS.thy (diff)
The file was modified thys/Bernoulli/ROOT (diff)
The file was modified thys/Catalan_Numbers/Catalan_Numbers.thy (diff)