CTAN has a new package: TeX-EWD

[CTAN Announcements]

On Mon, 10 Nov 2008, Wolfgang Helbig submitted the new

 tex-ewd

package to CTAN.

Location on CTAN: /macros/generic/tex-ewd
Summary description: Macros to typeset calculational proofs and programs in Dijkstra's style.
License type: bsd

Announcement text: 
----------------------------------------------------------------------

Edsger W. Dijkstra and others suggest a unique style to present mathematical 
proofs and to construct programs. This package provides macros that support 
calculational proofs and Dijkstras "guarded command language".

----------------------------------------------------------------------
 
This package is located at 
   http://mirror.ctan.org/macros/generic/tex-ewd
.  More information is at
   http://tug.ctan.org/info/?id=tex-ewd
(if the package is new it may take a day for that information to 
appear).  We are supported by the TeX Users Group http://www.tug.org .  
Please join a users group; see http://www.tug.org/usergroups.html .
_______________________________________________


Thanks for the upload.

For the CTAN Team
  Rainer Schöpf