projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 14 Mar 2011 10:11:48 +0000 (03:11 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 14 Mar 2011 10:11:48 +0000 (03:11 -0700) | ||
| commit | 8efffc7368b5e54c42461f45a9708ff2828409a4 | |
| tree | 5d9448464f4c9dca05d793a2cf2d512e04e636e2 | tree | snapshot |
| parent | 0126c02cc846952aa847660475e88a152c9a2574 | commit | diff |
| src/HaskStrongToProof.v | diff | blob | history |