Changes

Summary

merged
CakeML: simplify session layout
CakeML: update Lem from upstream
minor spelling
integer implementation of Gram-Schmidt orthogonalization by Haslbeck, Bottesch and myself

Changeset 9266:5aefd2f17577 by lars hupel _lars.hupel@mytum.de_: merged
Changeset 9265:362823bdd778 by lars hupel _lars.hupel@mytum.de_: CakeML: simplify session layout
The file was modified	`thys/CakeML/ROOT` (diff)
Changeset 9264:8c566fc39eff by lars hupel _lars.hupel@mytum.de_: CakeML: update Lem from upstream
The file was modified	`thys/CakeML/generated/CakeML/BigStep.thy` (diff)
The file was modified	`thys/CakeML/generated/CakeML/Evaluate.thy` (diff)
The file was modified	`thys/CakeML/generated/CakeML/Ffi.thy` (diff)
The file was modified	`thys/CakeML/generated/CakeML/Namespace.thy` (diff)
The file was modified	`thys/CakeML/generated/CakeML/SemanticPrimitives.thy` (diff)
The file was modified	`thys/CakeML/generated/CakeML/TypeSystem.thy` (diff)
The file was modified	`thys/CakeML/generated/Lem.thy` (diff)
The file was modified	`thys/CakeML/generated/LemExtraDefs.thy` (diff)
The file was modified	`thys/CakeML/generated/Lem_basic_classes.thy` (diff)
The file was modified	`thys/CakeML/generated/Lem_list.thy` (diff)
The file was modified	`thys/CakeML/generated/Lem_machine_word.thy` (diff)
The file was modified	`thys/CakeML/generated/Lem_num.thy` (diff)
The file was modified	`thys/CakeML/generated/Lem_relation.thy` (diff)
The file was modified	`thys/CakeML/generated/Lem_set.thy` (diff)
The file was modified	`thys/CakeML/generated/Lem_set_extra.thy` (diff)
The file was modified	`thys/CakeML/generated/Lem_string.thy` (diff)
The file was modified	`thys/CakeML/generated/Lem_string_extra.thy` (diff)
The file was modified	`thys/CakeML/versions` (diff)
Changeset 9263:ba8b61dbfd1c by ralph bottesch _ralph.bottesch@uibk.ac.at_: minor spelling
The file was modified	`thys/LLL_Basis_Reduction/document/root.bib` (diff)
Changeset 9262:924299fe5185 by rene thiemann _rene.thiemann@uibk.ac.at_: integer implementation of Gram-Schmidt orthogonalization by Haslbeck, Bottesch and myself
The file was added	`thys/LLL_Basis_Reduction/Gram_Schmidt_Int.thy`
The file was modified	`thys/LLL_Basis_Reduction/LLL_Mu_Integer_Impl.thy` (diff)
The file was modified	`thys/LLL_Basis_Reduction/document/root.bib` (diff)