Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. move Set_Partition to Card_Partitions entry to use facts in new Card_Partitions proof
Changeset 8885:901c864208d0 by lukas bulwahn _lukas.bulwahn@gmail.com_:
merged
Changeset 8884:07a460cf81f8 by lukas bulwahn _lukas.bulwahn@gmail.com_:
move Set_Partition to Card_Partitions entry to use facts in new Card_Partitions proof
The file was addedthys/Card_Partitions/Set_Partition.thy
The file was modified thys/Bell_Numbers_Spivey/Bell_Numbers.thy (diff)
The file was modified thys/Bell_Numbers_Spivey/ROOT (diff)
The file was modified thys/Card_Partitions/Card_Partitions.thy (diff)
The file was removedthys/Bell_Numbers_Spivey/Set_Partition.thy