(*
    Example proof script for HOL Proof General.

    $Id$
*)    

g `A /\ B ==> B /\ A`;
e DISCH_TAC;
e CONJ_TAC;


(* Ooops, I'm stuck now.  Can somebody help?? 
   Just want a simple low-level proof here. *)