From: adam <adam@megacz.com>
Date: Sun, 28 Oct 2007 22:16:03 +0000 (+0000)
Subject: change Terminates to (exists x, TerminatesWith x) and improve notation
X-Git-Url: http://git.megacz.com/?p=coinductive-monad.git;a=commitdiff_plain;h=68eb561f71dd052a346319cd1b92dd077cb1c8bb;hp=68eb561f71dd052a346319cd1b92dd077cb1c8bb

change Terminates to (exists x, TerminatesWith x) and improve notation

darcs-hash:20071028221603-5007d-09c59f3bc826b721b3708b92c9291b498b6306de.gz
---