commit
dasdföaklsdjfasdMerge branch 'master' of https://github.com/bafain/Verification-of-Information-Flow-Policies-with-Dependent-Types

Conflicts:
	slides.latex
fuck da police