src/HOL/Deriv.thy
changeset 65583 8d53b3bebab4
parent 64272 f76b6dda2e56
child 67149 e61557884799
equal deleted inserted replaced
65580:66351f79c295 65583:8d53b3bebab4