<?xml version="1.0" encoding="UTF-8"?>

<!-- This is an automatically generated file. -->
<Chapter Label="Chapter_ToDo-list">
<Heading>ToDo-list</Heading>

<Section Label="Chapter_ToDo-list_Section_Proof_tracking">
<Heading>Proof tracking</Heading>

This is a way to track proofs from ToDoLists.
Not only for debugging, but also for knowing how things work together.
</Section>


</Chapter>

