Skip to content
Snippets Groups Projects
Commit 681b8781 authored by Colibri Bot's avatar Colibri Bot
Browse files

Automatic import from main repository 

src: 9681e08e
farith: a93db57
parent da33a6e1
No related branches found
No related tags found
No related merge requests found
Pipeline #84368 passed
Stage: build
    Stage: test
      Hide whitespace changes
      Inline Side-by-side
      Showing
      with 1 addition and 0 deletions
      Src/COLIBRI/mbv.pl
      + 1
      − 0
      View file @ 681b8781
      ......@@ -26,6 +26,7 @@
      and_dir_prop/3,
      and_inv_prop/3.
      :- export use_prod_bv_congr/0,
      use_prod_bv_ui/0,
      use_prod_bvconstr/0,
      ......
      0% or .
      You are about to add 0 people to the discussion. Proceed with caution.
      Finish editing this message first!
      Please register or to comment