Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. more renaming
  2. moved lemma, renaming
Changeset 9115:0e1863e16638 by rene thiemann _rene.thiemann@uibk.ac.at_:
more renaming
The file was modified thys/LLL_Basis_Reduction/LLL.thy (diff)
Changeset 9114:754fc165f9fc by rene thiemann _rene.thiemann@uibk.ac.at_:
moved lemma, renaming
The file was modified thys/LLL_Basis_Reduction/LLL_Number_Bounds.thy (diff)
The file was modified thys/LLL_Basis_Reduction/Norms.thy (diff)