Viewing all changes in revision 219.

Committer: Peter G. Jensen
Date: 2019-04-23 13:41:32 UTC
Revision ID: peter.gjoel@gmail.com-20190423134132-j5gcdnvzj3p0zfhv

fixed error in re-write of equality into simpler form (hotfix for trunk, similar to lp:~verifypn-cpn/verifypn/eq-push-fix)

added added

removed removed