From 0a750a2f3cd95842f22b89bf23f92e7781291a8b Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Sun, 12 Jul 2020 12:34:29 +0200
Subject: Invert the table of contents and the revision tables

---
 site/posts/AlgebraicDatatypes.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'site/posts')

diff --git a/site/posts/AlgebraicDatatypes.v b/site/posts/AlgebraicDatatypes.v
index 74bdf04..a0a83a2 100644
--- a/site/posts/AlgebraicDatatypes.v
+++ b/site/posts/AlgebraicDatatypes.v
@@ -93,9 +93,9 @@ Inductive prod (A B : Type) : Type :=
 | pair : A -> B -> prod A B
 >>
 
-    #<div id="history">site/posts/AlgebraicDatatypes.v</div>#
+    #<div id="generate-toc"></div>#
 
-    #<div id="generate-toc"></div># *)
+    #<div id="history">site/posts/AlgebraicDatatypes.v</div># *)
 
 From Coq Require Import
      Basics Setoid Equivalence Morphisms
-- 
cgit v1.2.3