[*** empty log message ***
ralf**20050101160145] {
hunk ./pre.html 5
-<H2>See the paper "<A HREF=.>Strongly typed heterogeneous collections</A>"</H2>
+<H1>The HList library</H1>
+<H3>See the paper "<A HREF=.>Strongly typed heterogeneous collections</A>"</H3>
}