Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Integral formula for Catalan numbers
Changeset 7031:7260b5d59330 by manuel eberl _eberlm@in.tum.de_:
Integral formula for Catalan numbers
The file was addedthys/Catalan_Numbers/Catalan_Auxiliary_Integral.thy
The file was modified thys/Catalan_Numbers/Catalan_Numbers.thy (diff)