Commit e2eb2948 authored by Robbert's avatar Robbert

Merge branch 'robbert/gset_definition' into 'master'

Make `gset` a `Definition` instead of `Notation`.

See merge request iris/stdpp!59
parents 22e0ade7 dfec102c
Pipeline #15462 passed with stage
in 16 minutes and 47 seconds