Skip to content

use iris.proofmode.proofmode as the new root module for the proofmode

Ralf Jung requested to merge ralf/proofmode-import into master

This makes it consistent with bi.bi and base_logic.base_logic.

Edited by Ralf Jung

Merge request reports