Summary
- moved new iarray-operations and lemmas into separate file
The file was added | thys/LLL_Basis_Reduction/More_IArray.thy |
The file was modified | thys/LLL_Basis_Reduction/Gram_Schmidt_Int.thy (diff) |
The file was modified | thys/LLL_Basis_Reduction/LLL_Mu_Integer_Impl.thy (diff) |