projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 23 May 2011 06:55:56 +0000 (23:55 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 23 May 2011 06:55:56 +0000 (23:55 -0700) | ||
| commit | 4ec2860679a25b16cba9df2de6ea971064200756 | |
| tree | f88b4562d9a8595701764c3d29782d865df197d3 | tree | snapshot |
| parent | bebffa435dbc5afd126f6972fbf220977455854d | commit | diff |
| src/NaturalDeduction.v | diff | blob | history |