unfolded version of propIsEquivDirect
authorAnders Mörtberg <andersmortberg@gmail.com>
Tue, 14 Nov 2017 21:13:16 +0000 (16:13 -0500)
committerAnders Mörtberg <andersmortberg@gmail.com>
Tue, 14 Nov 2017 21:13:16 +0000 (16:13 -0500)
commit6b26f79f71969a3b54c2eaf4a876eabd2c527c38
tree9ff57a20876f80cce202ca9d964e299b41c2b674
parentc3612560fa30cecc86902daf097c8dd77b9b0b7d
unfolded version of propIsEquivDirect
examples/equiv.ctt