Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. rewrite proof in Card_Partitions
  2. prepare base theories for Card_Partitions proof rewriting
Changeset 8908:a3ea4c62560a by lukas bulwahn _lukas.bulwahn@gmail.com_:
rewrite proof in Card_Partitions
The file was modified thys/Card_Partitions/Card_Partitions.thy (diff)
Changeset 8907:ba9ae88ee255 by lukas bulwahn _lukas.bulwahn@gmail.com_:
prepare base theories for Card_Partitions proof rewriting
The file was modified thys/Card_Partitions/Injectivity_Solver.thy (diff)
The file was modified thys/Card_Partitions/Set_Partition.thy (diff)