From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Fri, 25 Mar 2011 17:07:20 +0000 (-0700)
Subject: add ToLatex class, move machinery to General.v
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=5e84f66deaef748276d41f29a00652c4adf5fb95;hp=5e84f66deaef748276d41f29a00652c4adf5fb95;p=coq-hetmet.git

add ToLatex class, move machinery to General.v
---