talk/coalgebraic-mu-calculus-cool.git
2016-01-12 Christoph EggerTemplate and stuff master