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

about summary refs log tree commit diff homepage

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

blob: 57816cd39874f6756d9da3bbfda98d4382b44958 (plain)

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

C  =  A + B