zilverline/sequent

Update docs (fixes #212)
#213

lucascaton wants to merge lucascaton:update-docs into zilverline:master

Compare on GitHub

We do not currently have an analysis of these two commits