X-Git-Url: https://git.siccegge.de//index.cgi?p=talk%2Fcoalgebraic-mu-calculus-cool-2.git;a=blobdiff_plain;f=images%2Fmontali_sat1.pdf;fp=images%2Fmontali_sat1.pdf;h=b2cec5e284caf8a7bf8dc5880b6714228da206ed;hp=0000000000000000000000000000000000000000;hb=c23d4f4bb88ea0a9799ea81f40b780201ada016f;hpb=967f83854c5bff5dd7aeeca3a4efc7a68af36076

diff --git a/images/montali_sat1.pdf b/images/montali_sat1.pdf
new file mode 100644
index 0000000..b2cec5e
Binary files /dev/null and b/images/montali_sat1.pdf differ