Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. simplify proof
Changeset 8116:16357dd94dde by Andreas Lochbihler:
merged
Changeset 8115:c30941aac360 by Andreas Lochbihler:
simplify proof
The file was modified thys/Game_Based_Crypto/PRF_UPF_IND_CCA.thy (diff)