mv abort abort.txt
mv alias alias.txt
mv applications applications.txt
mv argc argc.txt
mv argv argv.txt
mv array array.txt
mv bignums bignums.txt
mv boolean boolean.txt
mv callcc callcc.txt
mv cand cand.txt
mv chstr chstr.txt
mv coercions coercions.txt
mv compiling compiling.txt
mv conditional conditional.txt
mv cor cor.txt
mv declarations declarations.txt
mv do do.txt
mv enum enum.txt
mv eof eof.txt
mv expand_hp expand_hp.txt
mv export export.txt
mv expressions expressions.txt
mv extend extend.txt
mv extern extern.txt
mv file file.txt
mv float float.txt
mv fs fs.txt
mv func func.txt
mv general general.txt
mv hide hide.txt
mv hints hints.txt
mv identifiers identifiers.txt
mv if if.txt
mv import_rule import_rule.txt
mv impure impure.txt
mv inference inference.txt
mv initialization initialization.txt
mv integer integer.txt
mv intro intro.txt
mv let let.txt
mv limits limits.txt
mv list list.txt
mv llist llist.txt
mv long long.txt
mv loops loops.txt
mv null null.txt
mv pointers pointers.txt
mv precedence precedence.txt
mv problems problems.txt
mv prod prod.txt
mv record record.txt
mv ref ref.txt
mv selections selections.txt
mv sfloat sfloat.txt
mv short short.txt
mv signal signal.txt
mv signatures signatures.txt
mv strings strings.txt
mv trace trace.txt
mv union union.txt
mv void void.txt
mv with with.txt
