src/HOL/Deriv.thy
changeset 78659 b5f3d1051b13
parent 77138 c8597292cd41
child 79857 819c28a7280f