author | Adam Megacz <megacz@cs.berkeley.edu> | |
Fri, 25 Mar 2011 18:15:33 +0000 (11:15 -0700) | ||
committer | Adam Megacz <megacz@cs.berkeley.edu> | |
Fri, 25 Mar 2011 18:15:33 +0000 (11:15 -0700) | ||
commit | 966890cb2cc895a48760721912f8133cb16813a9 | |
tree | 9486de83536ef3ff47420b33766d474ec4b38f89 | tree | snapshot |
parent | fba815a8a6107b5cdf3a99bd77df34d4b05e702c | commit | diff |
src/NaturalDeductionCategory.v | diff | blob | history |