Skip to content

move BI interface extensions to their own file

Ralf Jung requested to merge ralf/bi-extensions into master

Currently, BI interface extensions are defined in derived_connectives.v even though they are neither derived nor connectives. So let's put them into a separate file instead.

Edited by Ralf Jung

Merge request reports