Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. Euler_Partition: build upon Number_Partition theory to get rid of temporary duplicates
Changeset 6217:999998242e1d by lukas bulwahn _lukas.bulwahn@gmail.com_:
merged
Changeset 6216:1887447b890a by lukas bulwahn _lukas.bulwahn@gmail.com_:
Euler_Partition: build upon Number_Partition theory to get rid of temporary duplicates
The file was modified thys/Euler_Partition/Euler_Partition.thy (diff)