Deriv-package	Deriv-package
Cache	Simplify
deCache	Simplify
Deriv	Deriv
drule	Deriv
format1	format1
simplifications	Simplify
Simplify	Simplify
