Summary
- merged
- move Set_Partition to Card_Partitions entry to use facts in new Card_Partitions proof
The file was added | thys/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 removed | thys/Bell_Numbers_Spivey/Set_Partition.thy |