Skip to content
Success

Changes

Summary

  1. drop lemmas included in Isabelle/a6f5a78712af and reduce dependencies
Changeset 8837:d81c9decba70 by lukas bulwahn _lukas.bulwahn@gmail.com_:
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)