Inspecting whether a fact is injective
PhilipLukertWork opened this issue · 0 comments
PhilipLukertWork commented
In the section "Reasoning about Exclusivity: Facts Symbols with Injective Instances" it would be helpful to note that one can view which facts are injective. I found this feature accidentially.
They can be showed by clicking on "Multiset rewriting rules and restrictions".