Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. renamed "maxx" to "max_x" and "maxy" to "max_y"
  2. merged
  3. simplified "inc" and tuned proofs
  4. merged
  5. move construction of "u" outside of "hlde" locale; tuned proof
Changeset 8824:be4590fe998d by Christian Sternagel:
renamed "maxx" to "max_x" and "maxy" to "max_y"
The file was modified thys/Diophantine_Eqns_Lin_Hom/Algorithm.thy (diff)
The file was modified thys/Diophantine_Eqns_Lin_Hom/Linear_Diophantine_Equations.thy (diff)
Changeset 8823:d95c11e7c976 by Christian Sternagel:
merged
Changeset 8822:c5e7266b2ea4 by Christian Sternagel:
simplified "inc" and tuned proofs
The file was modified thys/Diophantine_Eqns_Lin_Hom/Linear_Diophantine_Equations.thy (diff)
Changeset 8821:ce541612f6ef by Christian Sternagel:
merged
Changeset 8820:53c18e1fce91 by Christian Sternagel:
move construction of "u" outside of "hlde" locale; tuned proof
The file was modified thys/Diophantine_Eqns_Lin_Hom/Linear_Diophantine_Equations.thy (diff)