src/Tools/runqed

qed is a utility that makes ML files store the defined theories in Isabelle's
theorem database

foreach n (*ML)
qed $n $n:r.MLL
mv $n $n:r.bak
mv $n:r.MLL $n
end