projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2202d86) | patch
add ToLatex class, move machinery to General.v
authorAdam Megacz <megacz@cs.berkeley.edu>
Fri, 25 Mar 2011 17:07:20 +0000 (10:07 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Fri, 25 Mar 2011 17:07:20 +0000 (10:07 -0700)
commit5e84f66deaef748276d41f29a00652c4adf5fb95
treea43a3153bf50108d94778c63c42e5cdfb437edbctree | snapshot
parent2202d864c3a2779a33f3f7d6c411d2d16770073ecommit | diff
add ToLatex class, move machinery to General.v
src/General.v diff | blob | history
src/HaskProofToLatex.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC