From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sat, 26 Mar 2011 09:31:25 +0000 (-0700)
Subject: temporarily comment out
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=7300187652058f4c24fd4527d9a5833583959fb4;hp=7300187652058f4c24fd4527d9a5833583959fb4

temporarily comment out
---