Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merged in bulwahn/afp-devel (pull request #4): base Card_Equiv_Relations on definitions and proofs in Disjoint_Sets
  2. base Card_Equiv_Relations on definitions and proofs in Disjoint_Sets
Changeset 6751:394d1864a4a6 by lukas bulwahn _lukas.bulwahn@gmail.com_:
Merged in bulwahn/afp-devel (pull request #4): base Card_Equiv_Relations on definitions and proofs in Disjoint_Sets
Changeset 6750:8e674eb3f5c3 by lukas bulwahn _lukas.bulwahn@gmail.com_:
base Card_Equiv_Relations on definitions and proofs in Disjoint_Sets
The file was modified thys/Card_Equiv_Relations/Card_Equiv_Relations.thy (diff)