Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. renamed "lex2" to "generate_check"
  2. renamed "lexs" to "gen_check"
Changeset 8667:6951ce96fd3d by Christian Sternagel:
renamed "lex2" to "generate_check"
The file was modified thys/Diophantine_Eqns_Lin_Hom/Algorithm.thy (diff)
Changeset 8666:152468c1ca0a by Christian Sternagel:
renamed "lexs" to "gen_check"
The file was modified thys/Diophantine_Eqns_Lin_Hom/Algorithm.thy (diff)