| Issue 25: | More flexible implication syntax, and support in invariants and methods | |
| Back to list |
Allow state tests and permissions in implication pre-conditions.
Sep 23, 2008
Project Member
#1
kevin.bi...@gmail.com
Labels:
Usability
|