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

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