Deriv-package	Deriv-package
Deriv	Deriv
drule	Deriv
format1	format1
qlist	Deriv
simplifications	Simplify
Simplify	Simplify
