Skip to content

Set mode for update modalities

Ralf Jung requested to merge ralf/update-mode into gen_proofmode

I think this also fixes #146 (closed) by using typeclasses eauto instead of apply _.

Merge request reports