-
Jacques-Henri Jourdan authored
This makes the typeclass mechanism able to use instances like [Is_true X -> Blah], where X reduces to X.
fdb79e2c
This makes the typeclass mechanism able to use instances like [Is_true X -> Blah], where X reduces to X.