We study the Bellman equation for the minimum time problem associated with a semilinear evolution system from the point of view of contingent solutions. For this purpose, new contingent derivatives are defined, which involve functions instead of vectors as "directions." Our analysis is based on flow invariance results for appropriate differential inclusions.