Issue 25: More flexible implication syntax, and support in invariants and methods
Project Member Reported by kevin.bi...@gmail.com, Sep 23, 2008
Allow state tests and permissions in implication pre-conditions.
Sep 23, 2008
Project Member #1 kevin.bi...@gmail.com
(No comment was entered for this change.)
Labels: Usability