From: Christoph Egger <christoph@christoph-egger.org>
Date: Mon, 25 Apr 2016 14:30:15 +0000 (+0200)
Subject: add some benchmarks
X-Git-Url: https://git.siccegge.de//index.cgi?p=talk%2Fcoalgebraic-mu-calculus-cool-2.git;a=commitdiff_plain;h=c23d4f4bb88ea0a9799ea81f40b780201ada016f;hp=c23d4f4bb88ea0a9799ea81f40b780201ada016f

add some benchmarks
---