@=~
~! Aus dieser Datei kann mit ana.fw: fwHtml > ana.html aus der
~! Spezifikation eine Html-Datei generiert werden, die z.B. mit
~! netscape eingesehen werden kann.

~p typesetter = html
<TITLE>Examples in Program Analysis (Solution II)</TITLE>
<H1>Examples in Program Analysis (Solution II)</H1>

~t table_of_contents
<hr>
~i vars.fw
<hr>