(* -*- isar -*- *)

theory C = A + B:;

end;