projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cd720cd) | patch
NaturalDeduction: add nd_swap, nd_prod_split, and some tactics
authorAdam Megacz <megacz@cs.berkeley.edu>
Sun, 24 Apr 2011 07:04:13 +0000 (00:04 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Sun, 24 Apr 2011 07:04:13 +0000 (00:04 -0700)
commitde0467013b4c29f630066c9052c56afa89ebc75b
treecde9051b18318119309ee0aff637eb6fbbdc41cbtree | snapshot
parentcd720cd10df4ff05551a80bb719905925456a933commit | diff
NaturalDeduction: add nd_swap, nd_prod_split, and some tactics
src/NaturalDeduction.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC