Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merged
  2. Fixed title of Mason-Stothers
  3. Bell_Numbers_Spivey: tune sections and subsections
Changeset 8802:5250c3c2d22b by manuel eberl _eberlm@in.tum.de_:
Merged
Changeset 8801:ea5d7f9698b6 by manuel eberl _eberlm@in.tum.de_:
Fixed title of Mason-Stothers
The file was modified metadata/metadata (diff)
Changeset 8800:f09523a3fb20 by lukas bulwahn _lukas.bulwahn@gmail.com_:
Bell_Numbers_Spivey: tune sections and subsections
The file was modified thys/Bell_Numbers_Spivey/Bell_Numbers.thy (diff)
The file was modified thys/Bell_Numbers_Spivey/Set_Partition.thy (diff)