(* 
    File:	 /home/da/proofgen/ProofGeneral/etc/isa/multiple/A.thy
    Theory Name: A
    Logic Image: Pure
*)

A  =  Pure