Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. use more locales in Gram_Schmidt_2.thy
  2. merged
  3. merged
  4. fix connected with Basis
Changeset 9339:e13057997089 by max w. haslbeck _max.haslbeck@gmx.de_:
use more locales in Gram_Schmidt_2.thy
The file was modified thys/LLL_Basis_Reduction/Gram_Schmidt_2.thy (diff)
The file was modified thys/LLL_Basis_Reduction/Gram_Schmidt_Int.thy (diff)
The file was modified thys/LLL_Basis_Reduction/LLL.thy (diff)
The file was modified thys/LLL_Basis_Reduction/LLL_GSO_Impl.thy (diff)
The file was modified thys/LLL_Basis_Reduction/LLL_Integer_Equations.thy (diff)
The file was modified thys/LLL_Basis_Reduction/LLL_Number_Bounds.thy (diff)
Changeset 9338:801e442d15c1 by paulson:
merged
Changeset 9337:eeef74c8704f by paulson:
merged
Changeset 9336:06946a320842 by paulson _lp15@cam.ac.uk_:
fix connected with Basis
The file was modified thys/Green/SymmetricR2Shapes.thy (diff)