Go backward to Special Cases of Unless
Go up to Top
Go forward to Leads-to

Ensures

p ensures q <=> (p unless q
   and <exists s : s in F :: {p and not q} s {q}>)

Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: unity2.tex,v 1.1 1996/04/15 14:38:10 schreine Exp schreine

Prev Up Next