projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Fri, 13 May 2011 07:35:52 +0000 (00:35 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Fri, 13 May 2011 07:35:52 +0000 (00:35 -0700) | ||
| commit | 327fd294a7a4d3c02b5491708aadcd9acef9e376 | |
| tree | d6094a433c8cc1f561fc73b6b89b7ed377ab665e | tree | snapshot |
| parent | 164cdbf41ca206079b0dcfc18cd13625b286c38c | commit | diff |
| src/General.v | diff | blob | history |