(*
    Example proof script for AF2 Proof General

    $Id$
*)

prop test /\X (X -> X).
trivial.
save.