K 10
svn:author
V 3
dds
K 8
svn:date
V 27
2006-05-30T20:49:54.000000Z
K 7
svn:log
V 176
Assertion code specifications are introduced using special character
sequences that are distinct from comments. %% is used for argument
locks; %! for pre- and post-conditions.

END