projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 14 Mar 2011 08:45:36 +0000 (01:45 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 14 Mar 2011 08:45:36 +0000 (01:45 -0700) | ||
| commit | 3b5653626dbeb9eb554112527ff0a70b369c6a6a | |
| tree | de5a0406746029db88d577ae27817b822e156b31 | tree | snapshot |
| parent | 1f411b48dd607e76a65903e8506d0ae5e7470321 | commit | diff |
| src/General.v | diff | blob | history | |
| src/NaturalDeductionToLatex.v | diff | blob | history |