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