<?xml version="1.0"?>

<pagetree docroot="/courses/underspecification-06" title='Seminar "Underspecification" SS 06'>
  <section title='Information for students' >
    <entry id='index' title='Overview' />
    <entry id='schedule' title='Schedule' />
    <entry id='formalities' title='Formalities' />
  </section>
  <section title='Lecturers'>
    <entry id='ak' title='Alexander Koller' url='/~koller/' />
    <entry id='st' title='Stefan Thater' url='/~stth/' />
  </section>
</pagetree>

