rename some stuff
authorJim Pryor <profjim@jimpryor.net>
Mon, 13 Dec 2010 01:17:44 +0000 (20:17 -0500)
committerJim Pryor <profjim@jimpryor.net>
Mon, 13 Dec 2010 01:17:44 +0000 (20:17 -0500)
commitef7c19f2fa5f5db94a38408896a952a56402ce98
treee93fbaa8c5517d870ba8afac6901309990d5e130
parent434fc9bef584f51ac5338a39dc4ff5da44b5b435
rename some stuff

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
code/tree_monadize.ml
manipulating_trees_with_monads.mdwn