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 |