<?xml version="1.0"?>
<pagetree docroot="." title="Semantic Theory, Summer 2020" stylesheet="style.css">
  <section title="General">
    <entry id="index" title="Overview"/>
    <entry id="conditions" title="Conditions"/>
  </section>
  <section title="Contents">
    <entry id="lectures" title="Lectures"/>
    <entry id="exercises" title="Exercises"/>
 </section>
</pagetree>
