Skip to content
Success

Changes

Summary

  1. merged
  2. intermediate step via really simple algorithm
  3. added lemma
Changeset 8646:6bcb5f974aba by Christian Sternagel:
merged
Changeset 8645:3e588a38a87d by Christian Sternagel:
intermediate step via really simple algorithm
The file was addedthys/Diophantine_Eqns_Lin_Hom/Simple_Algorithm.thy
The file was modified thys/Diophantine_Eqns_Lin_Hom/Algorithm.thy (diff)
The file was modified thys/Diophantine_Eqns_Lin_Hom/List_Vector.thy (diff)
The file was modified thys/Diophantine_Eqns_Lin_Hom/Minimize_Wrt.thy (diff)
Changeset 8644:3242a2e2468f by Christian Sternagel:
added lemma
The file was modified thys/Diophantine_Eqns_Lin_Hom/Minimize_Wrt.thy (diff)