author | Adam Megacz <megacz@cs.berkeley.edu> | |
Sun, 24 Apr 2011 07:04:13 +0000 (00:04 -0700) | ||
committer | Adam Megacz <megacz@cs.berkeley.edu> | |
Sun, 24 Apr 2011 07:04:13 +0000 (00:04 -0700) | ||
commit | de0467013b4c29f630066c9052c56afa89ebc75b | |
tree | cde9051b18318119309ee0aff637eb6fbbdc41cb | tree | snapshot |
parent | cd720cd10df4ff05551a80bb719905925456a933 | commit | diff |
src/NaturalDeduction.v | diff | blob | history |