% Remember to use the lgrind style

\File{rewrite\_view\_declaration\_example.k},{14:55},{Feb 19 1997}
\L{\LB{\%\V{rview}_\V{view1}_\V{view2};_\C{}\1\* the {`}\%\' is part of the keyword \*\1\CE{}}}
