Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. updated to devel
Changeset 9341:1a9c3ac57bf0 by nipkow:
merged
Changeset 9340:014a7ce42cc4 by nipkow:
updated to devel
The file was modified thys/Irrationality_J_Hancl/Irrationality_J_Hancl.thy (diff)