agrep

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/csh
grep "$*" {Pure/Syntax,Pure/Thy}/*ML */*ML */*/*ML