Merge pull request #6 from nad/master
authormortberg <mortberg@chalmers.se>
Fri, 10 Apr 2015 08:28:33 +0000 (10:28 +0200)
committermortberg <mortberg@chalmers.se>
Fri, 10 Apr 2015 08:28:33 +0000 (10:28 +0200)
commit3438e2818b4047e99d2152e7bf4006ad213b66b7
tree1c56299ab1bb80695206f04ebb30d2cf3ed4fcec
parent4261c6af1575aa286a71b2ae30d696da4bd3a7a3
parentdf191b182ef56464f551e530b1c46d6b37cf27f7
Merge pull request #6 from nad/master

Proved (?) that equality coincides with bisimilarity.