Summary
- merged
- intermediate step via really simple algorithm
- added lemma
The file was added | thys/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) |
The file was modified | thys/Diophantine_Eqns_Lin_Hom/Minimize_Wrt.thy (diff) |