Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Updated to removal of Old_Number_Theory
Changeset 7213:dac93a109e61 by manuel eberl _eberlm@in.tum.de_:
Updated to removal of Old_Number_Theory
The file was modified thys/Fermat3_4/Fermat3.thy (diff)
The file was modified thys/Fermat3_4/Fermat4.thy (diff)
The file was modified thys/Fermat3_4/QuadForm.thy (diff)
The file was modified thys/Fermat3_4/ROOT (diff)
The file was modified thys/SumSquares/FourSquares.thy (diff)
The file was modified thys/SumSquares/ROOT (diff)
The file was modified thys/SumSquares/TwoSquares.thy (diff)