path: root/phox/example.af2

(*
    Example proof script for AF2 Proof General

    $Id$
*)

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