Added Krzysztof's theorems irrefl_converse, trans_on_converse,
part_ord_converse, linear_converse, tot_ord_converse,
Proved rvimage_converse, ord_iso_rvimage_eq
#! /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 {} \;