path: root/af2/example.af2

(*
    Example proof script for AF2 Proof General

    $Id$
*)

test.