| author | Jim <jim.pryor@nyu.edu> | |
| Thu, 19 Mar 2015 02:12:29 +0000 (22:12 -0400) | ||
| committer | Jim <jim.pryor@nyu.edu> | |
| Thu, 19 Mar 2015 02:12:29 +0000 (22:12 -0400) | ||
| commit | f0dac567a643fae66a6cba5b7e85d785c347f2bc | |
| tree | 413d0a6c9a4a557be6f3b34f02ea4f2902d23e3c | tree | snapshot |
| parent | 7acee0fbdbcefcac2ebf8e27e8b0312767dc575e | commit | diff |
| reduction_with_substitution.ml | [deleted file] | blob | history |