Changes

Summary

Changeset 9189:520d0e918a8b by rene thiemann _rene.thiemann@uibk.ac.at_: LLL_Mu_Integer_Implementation
The file was added	`thys/LLL_Basis_Reduction/LLL_Mu_Integer_Impl.thy`
The file was modified	`thys/LLL_Basis_Reduction/Gram_Schmidt_2.thy` (diff)
The file was modified	`thys/LLL_Basis_Reduction/LLL.thy` (diff)
The file was modified	`thys/LLL_Basis_Reduction/LLL_Mu_Impl.thy` (diff)
The file was modified	`thys/LLL_Basis_Reduction/LLL_Number_Bounds.thy` (diff)
The file was modified	`thys/LLL_Basis_Reduction/ROOT` (diff)