From: Adam Megacz <adam@megacz.com>
Date: Tue, 31 May 2011 01:30:46 +0000 (-0700)
Subject: let RCut take a left environment as well
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=6a7c6977507488245ba4b8cabcf323920c25baef;hp=6a7c6977507488245ba4b8cabcf323920c25baef;ds=sidebyside

let RCut take a left environment as well
---