From: adam <adam@megacz.com>
Date: Tue, 2 Oct 2007 15:38:45 +0000 (+0000)
Subject: add Computation/Equivalence.v
X-Git-Url: http://git.megacz.com/?p=coinductive-monad.git;a=commitdiff_plain;h=f32b158060d2be2811e5ba058756c7dc3fb71672;hp=f32b158060d2be2811e5ba058756c7dc3fb71672

add Computation/Equivalence.v

darcs-hash:20071002153845-5007d-0ad5426ab748435060fa542572e06b2147b3d938.gz
---