diff options
Diffstat (limited to 'site')
-rw-r--r-- | site/posts/AlgebraicDatatypes.v | 4 |
1 files changed, 2 insertions, 2 deletions
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 |