From: adam <adam@megacz.com>
Date: Sun, 28 Oct 2007 22:42:57 +0000 (+0000)
Subject: add coqdoc calls to Makefile
X-Git-Url: http://git.megacz.com/?p=coinductive-monad.git;a=commitdiff_plain;h=c8ca325619c326ce74ed4d4515ae38c6e92d1579;hp=c8ca325619c326ce74ed4d4515ae38c6e92d1579

add coqdoc calls to Makefile

darcs-hash:20071028224257-5007d-cdad392e26476792a22948a42fd9082fac15c502.gz
---