projects / coq-hetmet.git / commit
| 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 |