A trace formula for canonical differential expressions

We prove a trace formula for pairs of self-adjoint operators associated to canonical differential expressions. An important role is played by the associated Weyl function.