@=~
~! 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 I)</TITLE>
<H1>Examples in Program Analysis (Solution I)</H1>

~t table_of_contents
<hr>
~i dangling.fw
<hr>
~i switch.fw
<hr>
~i loops.fw
<hr>