Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. updated to 9a4c049f8997
Changeset 8158:af801987e595 by nipkow:
updated  to 9a4c049f8997
The file was modified thys/Berlekamp_Zassenhaus/Berlekamp_Type_Based.thy (diff)
The file was modified thys/Complx/ex/SumArr.thy (diff)