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

theory C = A + B:;

end;