From: Adam Megacz <adam@megacz.com>
Date: Mon, 30 May 2011 23:22:42 +0000 (-0700)
Subject: remove RJoin rule
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=171beb27508a340b24ab14837e72451d0b500805;hp=171beb27508a340b24ab14837e72451d0b500805

remove RJoin rule
---