1 2 3 4 5 6 7
(* File: /home/da/proofgen/ProofGeneral/etc/isa/multiple/D.thy Theory Name: D Logic Image: Pure *) D = Pure