Added Krzysztof's theorems irrefl_rvimage, trans_on_rvimage,
part_ord_rvimage, tot_ord_rvimage, irrefl_Int_iff, trans_on_Int_iff,
part_ord_Int_iff, linear_Int_iff, tot_ord_Int_iff, wf_on_Int_iff,
well_ord_Int_iff
#! /bin/sh
#rm-logfiles: remove useless files from subdirectories
rm log */make*.log */make*.log.gz
rm */test
find . -name '.*.thy.ML' -print -exec rm {} \;