Summary
- drop lemmas included in Isabelle/a6f5a78712af and reduce dependencies
The file was modified | thys/Bell_Numbers_Spivey/Bell_Numbers.thy (diff) |
The file was modified | thys/Bell_Numbers_Spivey/Injectivity_Solver.thy (diff) |
The file was modified | thys/Bell_Numbers_Spivey/ROOT (diff) |
The file was modified | thys/Card_Number_Partitions/Additions_to_Main.thy (diff) |