#toc{
	display:flex;
	flex-flow: column;
}
h2:has(a[href*="Syntax.syntax.html"]) {order:0}
h2:has(a[href*="Syntax.syntax.html"]) + ul {order:1}
h2:has(a[href*="Sequent.syntax_facts.html"]) {order:2}
h2:has(a[href*="Sequent.syntax_facts.html"]) + ul {order:3}
h2:has(a[href*="Sequent.Environments.html"]) {order:4}
h2:has(a[href*="Sequent.Environments.html"]) + ul {order:5}
h2:has(a[href*="Sequent.Sequents.html"]) {order:6}
h2:has(a[href*="Sequent.Sequents.html"]) + ul {order:7}
h2:has(a[href*="Sequent.Order.html"]) {order:8}
h2:has(a[href*="Sequent.Order.html"]) + ul {order:9}
h2:has(a[href*="Sequent.SequentProps.html"]) {order:10}
h2:has(a[href*="Sequent.SequentProps.html"]) + ul {order:11}
h2:has(a[href*="Sequent.Cut.html"]) {order:12}
h2:has(a[href*="Sequent.Cut.html"]) + ul {order:13}
h2:has(a[href*="Sequent.DecisionProcedure.html"]) {order:14}
h2:has(a[href*="Sequent.DecisionProcedure.html"]) + ul {order:15}
h2:has(a[href*="Sequent.Optimizations.html"]) {order:16}
h2:has(a[href*="Sequent.Optimizations.html"]) + ul {order:17}
h2:has(a[href*="Sequent.Simplifications.html"]) {order:18}
h2:has(a[href*="Sequent.Simplifications.html"]) + ul {order:19}
h2:has(a[href*="Sequent.PropQuantifiers.html"]) {order:20}
h2:has(a[href*="Sequent.PropQuantifiers.html"]) + ul {order:21}
h2:has(a[href*="Sequent.Simp_env.html"]) {order:22}
h2:has(a[href*="Sequent.Simp_env.html"]) + ul {order:23}
h2:has(a[href*="extraction.Extraction.html"]) {order:24}
h2:has(a[href*="extraction.Extraction.html"]) + ul {order:25}
h2:has(a[href*="GHC.KMH.html"]) {order:26}
h2:has(a[href*="GHC.KMH.html"]) + ul {order:27}
h2:has(a[href*="GHC.enum.html"]) {order:28}
h2:has(a[href*="GHC.enum.html"]) + ul {order:29}
h2:has(a[href*="GHC.logics.html"]) {order:30}
h2:has(a[href*="GHC.logics.html"]) + ul {order:31}
h2:has(a[href*="GHC.properties.html"]) {order:32}
h2:has(a[href*="GHC.properties.html"]) + ul {order:33}
h2:has(a[href*="GHC.same_calcs.html"]) {order:34}
h2:has(a[href*="GHC.same_calcs.html"]) + ul {order:35}
h2:has(a[href*="GHC.Lindenbaum_lem.html"]) {order:36}
h2:has(a[href*="GHC.Lindenbaum_lem.html"]) + ul {order:37}
h2:has(a[href*="GHC.KMH_export.html"]) {order:38}
h2:has(a[href*="GHC.KMH_export.html"]) + ul {order:39}
h2:has(a[href*="Sequent.Equiv_KMH.html"]) {order:40}
h2:has(a[href*="Sequent.Equiv_KMH.html"]) + ul {order:41}
h2:has(a[href*="Kripke.kripke_sem.html"]) {order:42}
h2:has(a[href*="Kripke.kripke_sem.html"]) + ul {order:43}
h2:has(a[href*="Kripke.soundness.html"]) {order:44}
h2:has(a[href*="Kripke.soundness.html"]) + ul {order:45}
h2:has(a[href*="Kripke.kripke_export.html"]) {order:46}
h2:has(a[href*="Kripke.kripke_export.html"]) + ul {order:47}
h2:has(a[href*="Algebra.KM_Algebras.html"]) {order:48}
h2:has(a[href*="Algebra.KM_Algebras.html"]) + ul {order:49}
h2:has(a[href*="Algebra.algebraic_semantic.html"]) {order:50}
h2:has(a[href*="Algebra.algebraic_semantic.html"]) + ul {order:51}
h2:has(a[href*="Algebra.alg_soundness.html"]) {order:52}
h2:has(a[href*="Algebra.alg_soundness.html"]) + ul {order:53}
h2:has(a[href*="Algebra.KMH_implicative.html"]) {order:54}
h2:has(a[href*="Algebra.KMH_implicative.html"]) + ul {order:55}
h2:has(a[href*="Algebra.KMH_alg_completeness.html"]) {order:56}
h2:has(a[href*="Algebra.KMH_alg_completeness.html"]) + ul {order:57}
h2:has(a[href*="Algebra.KMH_algebraizable.html"]) {order:58}
h2:has(a[href*="Algebra.KMH_algebraizable.html"]) + ul {order:59}