Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. add another cardinality proof in Card_Number_Partitions to prepare for Twelvefold_Way submission
  3. add more cardinality proofs in Card_Partitions to prepare for Twelvefold_Way submission
Changeset 7302:a8c41acfe8e3 by lukas bulwahn _lukas.bulwahn@gmail.com_:
merged
Changeset 7301:50cf2189af4c by lukas bulwahn _lukas.bulwahn@gmail.com_:
add another cardinality proof in Card_Number_Partitions to prepare for Twelvefold_Way submission
The file was modified thys/Card_Number_Partitions/Card_Number_Partitions.thy (diff)
The file was modified thys/Card_Number_Partitions/Number_Partition.thy (diff)
Changeset 7300:3601e0b9462e by lukas bulwahn _lukas.bulwahn@gmail.com_:
add more cardinality proofs in Card_Partitions to prepare for Twelvefold_Way submission
The file was modified thys/Card_Partitions/Card_Partitions.thy (diff)