From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sun, 13 Apr 2014 19:10:15 +0000 (-0700)
Subject: improvements to examples/
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=c700f5a65d664d4c0a3e76d33aa3769266bf330c;hp=c700f5a65d664d4c0a3e76d33aa3769266bf330c

improvements to examples/
---