add some benchmarks2016-04-25T14:30:15ZChristoph Eggerchristoph@christoph-egger.orgChristoph Eggerchristoph@christoph-egger.org2016-04-25T14:30:15Zhttps://git.siccegge.de/?p=talk/coalgebraic-mu-calculus-cool-2.git;a=commitdiff;h=c23d4f4bb88ea0a9799ea81f40b780201ada016f
add clone url to last slide2016-04-25T14:09:09ZChristoph Eggerchristoph@christoph-egger.orgChristoph Eggerchristoph@christoph-egger.org2016-04-25T14:09:09Zhttps://git.siccegge.de/?p=talk/coalgebraic-mu-calculus-cool-2.git;a=commitdiff;h=d974b715051c182f04d8253e8fc2fff007f4904b
Add more text2016-04-25T07:27:50ZChristoph Eggerchristoph@christoph-egger.orgChristoph Eggerchristoph@christoph-egger.org2016-04-25T07:27:50Zhttps://git.siccegge.de/?p=talk/coalgebraic-mu-calculus-cool-2.git;a=commitdiff;h=edc63ce858f06a6b08536f876c7328820edd92a8