A notion of regularity for differential local algebras