<!DOCTYPE html>
<html>

<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<title>Module $NAME</title>
<meta name="description" content="Documentation of Coq module $NAME" />
<link href="coq2html.css" rel="stylesheet" type="text/css" />
</head>

<body>
<h1 class="title">Module $NAME</h1>
<div class="coq">
