author | Adam Megacz <megacz@cs.berkeley.edu> | |
Sat, 28 May 2011 03:43:15 +0000 (20:43 -0700) | ||
committer | Adam Megacz <megacz@cs.berkeley.edu> | |
Sat, 28 May 2011 03:43:15 +0000 (20:43 -0700) | ||
commit | db8c9d54c285980e162e393efd1b7316887e5b80 | |
tree | 7fed6e08217989d6372637fd0b9004f904f10c62 | tree | snapshot |
parent | 9241d797587022ecd51e3c38cd34588de6745524 | commit | diff |
src/ExtractionMain.v | diff | blob | history | |
src/HaskFlattener.v | diff | blob | history | |
src/HaskProof.v | diff | blob | history | |
src/HaskProofToLatex.v | diff | blob | history | |
src/HaskProofToStrong.v | diff | blob | history | |
src/HaskSkolemizer.v | diff | blob | history | |
src/HaskStrongToProof.v | diff | blob | history | |
src/NaturalDeductionContext.v | [new file with mode: 0644] | blob |