Skip to content

Set mode for update modalities

Ralf Jungrequested 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