Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Tuned citation in Catalan_Numbers
Changeset 7033:01a4af9fe7b9 by manuel eberl _eberlm@in.tum.de_:
Tuned citation in Catalan_Numbers
The file was modified thys/Catalan_Numbers/Catalan_Auxiliary_Integral.thy (diff)
The file was modified thys/Catalan_Numbers/Catalan_Numbers.thy (diff)
The file was modified thys/Catalan_Numbers/ROOT (diff)