Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Merge
  2. Fixed failing proofs and tidied up
  3. Merged
  4. Fixed Algebraic_Numbers
  5. A few fixes for deleted (redundant) lemmas
Changeset 6384:aecc7970c4c6 by paulson _lp15@cam.ac.uk_:
Merge
Changeset 6383:b21511aba1be by paulson _lp15@cam.ac.uk_:
Fixed failing proofs and tidied up
The file was modified thys/Perfect-Number-Thm/Perfect.thy (diff)
The file was modified thys/Perfect-Number-Thm/PerfectBasics.thy (diff)
The file was modified thys/Perfect-Number-Thm/Sigma.thy (diff)
Changeset 6382:332ba642161e by manuel eberl _eberlm@in.tum.de_:
Merged
Changeset 6381:172b1d5514b3 by manuel eberl _eberlm@in.tum.de_:
Fixed Algebraic_Numbers
The file was modified thys/Algebraic_Numbers/Algebraic_Numbers_Prelim.thy (diff)
The file was modified thys/Polynomial_Factorization/Polynomial_Divisibility.thy (diff)
The file was modified thys/Polynomial_Factorization/Polynomial_Division.thy (diff)
The file was modified thys/Polynomial_Factorization/Square_Free_Factorization.thy (diff)
Changeset 6380:5635d5b52c83 by paulson _lp15@cam.ac.uk_:
A few fixes for deleted (redundant) lemmas
The file was modified thys/Lower_Semicontinuous/Lower_Semicontinuous.thy (diff)
The file was modified thys/Secondary_Sylow/GroupAction.thy (diff)
The file was modified thys/Secondary_Sylow/SndSylow.thy (diff)