From: mortberg <mortberg@chalmers.se>
Date: Fri, 10 Apr 2015 08:28:33 +0000 (+0200)
Subject: Merge pull request #6 from nad/master
X-Git-Url: https://git.xn--bdkaa.com/?a=commitdiff_plain;h=3438e2818b4047e99d2152e7bf4006ad213b66b7;p=cubicaltt-web.git

Merge pull request #6 from nad/master

Proved (?) that equality coincides with bisimilarity.
---

3438e2818b4047e99d2152e7bf4006ad213b66b7