Skip to content
GitLab

Make BI operational classes consistent: always use `PROP:Type` instead of `bi`.

Merged Robbert Krebbers requested to merge robbert/bi_classes_Type into master