From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sat, 28 May 2011 20:54:31 +0000 (-0700)
Subject: rename constructors of Arrange to start with A instead of R
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=1a2754d2e135ef3c5fd7ef817e1129af93b533a5;hp=1a2754d2e135ef3c5fd7ef817e1129af93b533a5

rename constructors of Arrange to start with A instead of R
---