<!DOCTYPE html> <html> <head> <link rel="stylesheet" href="docs.css"> <title>Contents</title> </head> <body> <h2>Contents</h2> <ul> <li><a href="00.html">Declarations</a></li> <li><a href="01.html">A first program</a></li> </ul> </body> </html>