projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Fri, 25 Mar 2011 18:10:10 +0000 (11:10 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Fri, 25 Mar 2011 18:10:10 +0000 (11:10 -0700) | ||
| commit | fdebbea0c0303b8bba05779f2635c9a0e5c459b7 | |
| tree | 2af54e0c6782857714858fad41319b7804b96311 | tree | snapshot |
| parent | 5a2f09b19d1cd62dee31e14625e62b32c0a02449 | commit | diff |
| src/NaturalDeduction.v | diff | blob | history |