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 |