Move proof mode type class instances to their own file.

This avoids recompilation of coq_tactics each time an instance is added.
1 job for master
Status Job ID Name Coverage
  Test
passed buildjob #585
coq

00:03:59