-
assigned issue to
Progression: static formulas
Issue #576
resolved
should not be in the bistate theory. For efficiency reasons
Comments (2)
-
reporter -
reporter - changed status to resolved
Actually, they should (and they are)
They might be used for example in an induction proof.
Also: including them guarantees a bit more safety (for cases in which the user modifies structures)
- Log in to comment