Difference between revisions of "Predicate variables"
From Event-B
Jump to navigationJump to searchimported>Tommy (Predicate variables moved to Predicate variables Extension) |
imported>Laurent m (Fixed double redirect.) |
||
Line 1: | Line 1: | ||
− | #REDIRECT [[Predicate | + | #REDIRECT [[Predicate Variables Extension]] |
Latest revision as of 12:44, 26 November 2010
Redirect to: