projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Tue, 29 Mar 2011 08:04:22 +0000 (01:04 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Tue, 29 Mar 2011 08:04:22 +0000 (01:04 -0700) | ||
| commit | 148579e5c8f6b60209a442222b932cf59f163cca | |
| tree | 0792239415962645af59813838ec74c72614843e | tree | snapshot |
| parent | 6c06dcf3fee5a4f0c8f72c237de7bd30b7a2379b | commit | diff |
| src/NaturalDeduction.v | diff | blob | history | |
| src/NaturalDeductionToLatex.v | diff | blob | history |