Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. patch for ex_image_cong_iff, and tidied up one awful proof
Changeset 10213:08edeafdffe1 by paulson _lp15@cam.ac.uk_:
patch for ex_image_cong_iff, and tidied up one awful proof
The file was modified thys/Verified-Prover/Prover.thy