B.thy « multiple « isa « etc - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/etc/isa/multiple/B.thy

blob: a896bca22b1e360be5c9943e2d86e1ea09ed1ed9 (plain)

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

B  =  Pure