rm -f set_adt.ml set_adt.mli
# Uses a GNU sed extension
for i in `ls *.ml untrusted/*.ml`; do basename $i | sed -e 's/\(.\)\(.*\)\.ml/\U\1\E\2/'; done > extracted.mlpack
rm -f set_adt.ml set_adt.mli
# Uses a GNU sed extension
for i in `ls *.ml untrusted/*.ml`; do basename $i | sed -e 's/\(.\)\(.*\)\.ml/\U\1\E\2/'; done > extracted.mlpack