Changes

Summary

Abortable_Linearizable_Modules: added import of inputenc in root.tex
Abortable_Linearizable_Modules: updated ROOT
Update to thys/Abortable_Linearizable_Modules/

Changeset 6233:5dd5708e55c8 by giuliano losa _giuliano@losa.fr_: Abortable_Linearizable_Modules: added import of inputenc in root.tex
The file was modified	`thys/Abortable_Linearizable_Modules/document/root.tex` (diff)
Changeset 6232:6e5304dfc5bc by giuliano losa _giuliano@losa.fr_: Abortable_Linearizable_Modules: updated ROOT
The file was modified	`thys/Abortable_Linearizable_Modules/ROOT` (diff)
Changeset 6231:6807ddc3c629 by giuliano losa _giuliano@losa.fr_: Update to thys/Abortable_Linearizable_Modules/
The file was added	`thys/Abortable_Linearizable_Modules/Consensus.thy`
The file was added	`thys/Abortable_Linearizable_Modules/IOA.thy`
The file was added	`thys/Abortable_Linearizable_Modules/Idempotence.thy`
The file was added	`thys/Abortable_Linearizable_Modules/RDR.thy`
The file was added	`thys/Abortable_Linearizable_Modules/SLin.thy`
The file was added	`thys/Abortable_Linearizable_Modules/Sequences.thy`
The file was added	`thys/Abortable_Linearizable_Modules/Simulations.thy`
The file was modified	`thys/Abortable_Linearizable_Modules/ROOT` (diff)
The file was modified	`thys/Abortable_Linearizable_Modules/document/abstract.tex` (diff)
The file was modified	`thys/Abortable_Linearizable_Modules/document/introduction.tex` (diff)
The file was modified	`thys/Abortable_Linearizable_Modules/document/root.bib` (diff)
The file was modified	`thys/Abortable_Linearizable_Modules/document/root.tex` (diff)
The file was removed	`thys/Abortable_Linearizable_Modules/ALM.thy`
The file was removed	`thys/Abortable_Linearizable_Modules/CompositionCorrectness.thy`
The file was removed	`thys/Abortable_Linearizable_Modules/LCP.thy`