ZF/indrule/mutual_ind_tac: ensured that asm_full_simp_tac ignores any
equalities, by adding setmksimps K[].
ZF/indrule/mut_ss: removed Collect_cong; it is redundant.
#! /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 {} \;