Skip to content

Rename `sig_{equiv,dist}_alt` into `sig_{equiv,dist}_def` and state using `=` instead of `<->`.

Robbert Krebbers requested to merge robbert/alt_def into master

See discussion at !874 (diffs)

Merge request reports