etc/isa/multiple/C.thy


1
2
3
4
5
6
7
8
9
10

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

theory C  =  A + B
files "foobar/foo.ML":

end