(*
    Example proof script for AF2 Proof General

    $Id$
*)