-
Robbert Krebbers authored
- Rename `IPureElim` -> `iPure`, `IAlwaysElim` -> `IIntuitionistic` - Drop `IAlwaysIntro` (it's just `IModalIntro`).
066b7f65
- Rename `IPureElim` -> `iPure`, `IAlwaysElim` -> `IIntuitionistic` - Drop `IAlwaysIntro` (it's just `IModalIntro`).