From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sun, 27 Mar 2011 19:36:52 +0000 (+0000)
Subject: uncomment more of the tutorial
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=d7e72f54b8097cb188e4fc9cb284e585c4d63514;hp=d7e72f54b8097cb188e4fc9cb284e585c4d63514

uncomment more of the tutorial
---