From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Wed, 16 Mar 2011 08:54:16 +0000 (-0700)
Subject: major overhaul of WeakToStrong/StrongToWeak; it can now handle the whole tutorial
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=f7a6e08c97cae1c1b278c18a1904eadec4e5f010;hp=f7a6e08c97cae1c1b278c18a1904eadec4e5f010;ds=sidebyside

major overhaul of WeakToStrong/StrongToWeak; it can now handle the whole tutorial
---