1 2 3 4 5 6 7 8 9
(* Example proof script for AF2 Proof General $Id$ *) prop test /\X (X -> X). trivial. save.