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

(* -*- isar -*- *)

theory C = A + B:;

end;