projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 28 Mar 2011 07:17:10 +0000 (00:17 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 28 Mar 2011 07:17:10 +0000 (00:17 -0700) | ||
| commit | 50747fb9b9a44a24ea7a29b8703706386f6cd092 | |
| tree | 6e597deba101e849b2aa6bbd369a7ea52b23d02f | tree | snapshot |
| parent | be2a24c17877b3401c3c46bee1436b8ec0bbdaf5 | commit | diff |
| src/HaskProofCategory.v | diff | blob | history |