ZF/ind_syntax/unvarifyT, unvarify: moved to Pure/logic.ML
ZF/ind_syntax/prove_term: deleted
ZF/constructor, indrule, intr_elim: now call prove_goalw_cterm and
Logic.unvarify
#! /bin/sh
#rm-logfiles: remove useless files from subdirectories
rm log */make*.log */make*.log.gz
rm */test
rm */.*.thy.ML
rm */ex/.*.thy.ML
rm HOL/Subst/.*.thy.ML