Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications