Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. updated to Isabelle/998e01d6f8fd;
Changeset 8673:4a6d38a66cd4 by wenzelm:
merged
Changeset 8672:0b1ddda3f202 by wenzelm:
updated to Isabelle/998e01d6f8fd;
The file was modified thys/WorkerWrapper/FixedPointTheorems.thy (diff)