Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. new simp rule
  2. more correct shell quoting
Changeset 8557:4d58fd29a7be by haftmann:
new simp rule
The file was modified thys/Berlekamp_Zassenhaus/Berlekamp_Type_Based.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Finite_Field.thy (diff)
The file was modified thys/Pratt_Certificate/Pratt_Certificate.thy (diff)
Changeset 8556:7586b8a85a32 by haftmann:
more correct shell quoting
The file was modified thys/Diophantine_Eqns_Lin_Hom/Solver_Code.thy (diff)