projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 7 Mar 2011 13:41:56 +0000 (05:41 -0800) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 7 Mar 2011 13:41:56 +0000 (05:41 -0800) | ||
| commit | c9082c6556689b31f4ae649c3280f09fb71546ff | |
| tree | 266225f7994c69ae9b7c643ee0cb1a7e342fd088 | tree | snapshot |
| parent | ff44b3a9529a8660185f292897aae2f243af51a2 | commit | diff |
| src/Extraction.v | diff | blob | history | |
| src/HaskProofToStrong.v | [new file with mode: 0644] | blob |