export MPATH="$MPATH -> formalize"
export Holmake=../../../bin/Holmake

for dir in ho_prover subtypes RSA formalize prob groups miller
do
        cd $dir
        ./m $* || exit 1
done
