# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1364848733 -3600
# Node ID 0b9c893cfd1ba630b3257aa71f15db5e30e4200b
# Parent  ca2ea835c363ece1bdbd7ac8ff84732b298b46a4
added paper by Kozen on Hoare-logics and Kleene algebras

diff -r ca2ea835c363 -r 0b9c893cfd1b Literature/logics/Hoare-Kozen.pdf
Binary file Literature/logics/Hoare-Kozen.pdf has changed
diff -r ca2ea835c363 -r 0b9c893cfd1b paper.pdf
Binary file paper.pdf has changed