| 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 |