projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff46afb) | patch
remove the very last admit (missing proof) from GeneralizedArrowFromReification
authorAdam Megacz <megacz@cs.berkeley.edu>
Sun, 10 Apr 2011 23:34:48 +0000 (23:34 +0000)
committerAdam Megacz <megacz@cs.berkeley.edu>
Sun, 10 Apr 2011 23:34:48 +0000 (23:34 +0000)
commita5617bbb88197a50083a64c9970511a15f7ed98a
tree1c4e864e0157326f304633906414af5d484e9c6dtree | snapshot
parentff46afb5b5a682dd9f2e246afb889bb2f1be9f15commit | diff
remove the very last admit (missing proof) from GeneralizedArrowFromReification
src/GeneralizedArrowFromReification.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC