Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merged
  2. Adapted to isabelle-dev 33368a2296aa
Changeset 7906:dc8042bb6e2c by eberlm _eberlm@in.tum.de_:
Merged
Changeset 7905:f0e30aa8280f by eberlm _eberlm@in.tum.de_:
Adapted to isabelle-dev 33368a2296aa
The file was modified thys/Lehmer/Lehmer.thy (diff)