src/HOL/Deriv.thy
changeset 29106 25e28a4070f3
parent 28952 15a4b2cf8c34
child 29166 c23b2d108612