Show the use of reflection attribute; fixed comments about the order of absorbing equations : f (C x) = x ; now automaically tried as last;
#!/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