Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. consolidate injectivity solver implementations
  2. drop lemma included in Isabelle/14d3163588ae
Changeset 8799:c9bf605fce23 by lukas bulwahn _lukas.bulwahn@gmail.com_:
consolidate injectivity solver implementations
The file was addedthys/Bell_Numbers_Spivey/Injectivity_Solver.thy
The file was modified thys/Bell_Numbers_Spivey/Bell_Numbers.thy (diff)
The file was modified thys/Card_Equiv_Relations/Card_Partial_Equiv_Relations.thy (diff)
The file was modified thys/Falling_Factorial_Sum/Falling_Factorial_Sum_Combinatorics.thy (diff)
The file was modified thys/Falling_Factorial_Sum/ROOT (diff)
The file was removedthys/Falling_Factorial_Sum/Injectivity_Solver3.thy
Changeset 8798:7ab210f46259 by lukas bulwahn _lukas.bulwahn@gmail.com_:
drop lemma included in Isabelle/14d3163588ae
The file was modified thys/Falling_Factorial_Sum/Falling_Factorial_Sum_Combinatorics.thy (diff)