Merge branch 'reflexive_transitive_closure' into 'master'
Adding a constructor for reflexive transitive closures into bi's See merge request !375
Showing
theories/bi/lib/relations.v
0 → 100644
Please register or sign in to comment