(*
    Example proof script for AF2 Proof General

    $Id$
*)

goal /\X (X -> X).
trivial.
save th.