author | Jim <jim.pryor@nyu.edu> | |
Thu, 19 Mar 2015 02:11:18 +0000 (22:11 -0400) | ||
committer | Jim <jim.pryor@nyu.edu> | |
Thu, 19 Mar 2015 02:11:18 +0000 (22:11 -0400) | ||
commit | 7acee0fbdbcefcac2ebf8e27e8b0312767dc575e | |
tree | da6bbe788a39b1cc48db4e77bad8d826836d9b4e | tree | snapshot |
parent | 8f80d13ca1ae35baa8e2deda6102d57fbcaa4c2f | commit | diff |
_reduction_with_substitution.ml | [deleted file] | blob | history |