projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e2cdd7) | patch
use apply tactic in ReificationFromGeneralizedArrow; not sure why this is required
authorAdam Megacz <megacz@cs.berkeley.edu>
Fri, 25 Mar 2011 18:16:55 +0000 (11:16 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Fri, 25 Mar 2011 18:16:55 +0000 (11:16 -0700)
commitbb960df7c29c851ca9d13f2d0c8f351ac24045ca
tree601889fc56ae06f7f92cbb96ba3069949cc87622tree | snapshot
parent2e2cdd77d4c1ed9ecb1793f9499079cfd6d999f2commit | diff
use apply tactic in ReificationFromGeneralizedArrow; not sure why this is required
src/ReificationFromGeneralizedArrow.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC