changeset 58884 | be4d203d35b3 |
parent 58860 | fee7cfa69c50 |
child 59189 | ad8e0a789af6 |
--- a/src/HOL/Hoare_Parallel/Graph.thy Sun Nov 02 17:27:22 2014 +0100 +++ b/src/HOL/Hoare_Parallel/Graph.thy Sun Nov 02 17:36:52 2014 +0100 @@ -1,6 +1,6 @@ -header {* \chapter{Case Study: Single and Multi-Mutator Garbage Collection Algorithms} +chapter {* Case Study: Single and Multi-Mutator Garbage Collection Algorithms *} -\section {Formalization of the Memory} *} +section {* Formalization of the Memory *} theory Graph imports Main begin