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 |