…
..
.gitignore
basic-layering.svg
build.sh
explicit-layering1.svg
explicit-layering2.svg
layering.tex
tricky-explicit-layering.svg