projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 28 Mar 2011 00:22:25 +0000 (17:22 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 28 Mar 2011 00:22:25 +0000 (17:22 -0700) | ||
| commit | e6bd3d7623740382a9af0f6d39e8304b1358d847 | |
| tree | eb65f455b3d1cfde591c53a9a050b028d6f8e482 | tree | snapshot |
| parent | de9b7cba83ba98f30da7999cfe5ff0e4c1058e42 | commit | diff |
| src/HaskProofCategory.v | diff | blob | history |