Summary
- renamed "lex2" to "generate_check"
- renamed "lexs" to "gen_check"
The file was modified | thys/Diophantine_Eqns_Lin_Hom/Algorithm.thy (diff) |
The file was modified | thys/Diophantine_Eqns_Lin_Hom/Algorithm.thy (diff) |
The file was modified | thys/Diophantine_Eqns_Lin_Hom/Algorithm.thy (diff) |
The file was modified | thys/Diophantine_Eqns_Lin_Hom/Algorithm.thy (diff) |