renamed ObjectLogic.atomize_tac to ObjectLogic.atomize_prems_tac;
added flat_rule filter for addXXs etc.;
#!/usr/bin/env bash
#
# $Id$
# Author: Makarius
#
# DESCRIPTION: Update standard keyword files.
isabelle -qe 'ProofGeneral.write_keywords "";' IOA
isabelle -qe 'ProofGeneral.write_keywords "HOL-Nominal";' HOL-Nominal
isabelle -qe 'ProofGeneral.write_keywords "ZF";' ZF