deletions | additions       diff --git a/layout.md b/layout.md  index 541917f..72995fb 100644  --- a/layout.md  +++ b/layout.md 
...
abstract.md  Introduction.md  set_spec.tex  Commutativity.md  datatypes.md  Evaluation.md