projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sun, 20 Mar 2011 09:44:20 +0000 (02:44 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sun, 20 Mar 2011 09:44:20 +0000 (02:44 -0700) | ||
| commit | 96ea5272fe6ec62022351f69289eedd330322eb4 | |
| tree | 3f65dc681cd9992d0dd5219389172320eb9fcf7d | tree | snapshot |
| parent | 539d675a181f178e24c15b2a6ad3c990492eed79 | commit | diff |
| src/General.v | diff | blob | history | |
| src/HaskStrongToProof.v | diff | blob | history |