projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sat, 28 May 2011 04:39:45 +0000 (21:39 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sat, 28 May 2011 04:39:45 +0000 (21:39 -0700) | ||
| commit | 91f06dc68cf5888360f1819429b10e054f94b243 | |
| tree | 3116643fe9ec97b5f89b2252f7e55b6689977e40 | tree | snapshot |
| parent | db8c9d54c285980e162e393efd1b7316887e5b80 | commit | diff |
| src/General.v | diff | blob | history | |
| src/HaskFlattener.v | diff | blob | history | |
| src/NaturalDeductionContext.v | diff | blob | history |