close section

coq · Oct 28, 2024 · d431cfb · d431cfb
1 parent 90ff514
commit d431cfb
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Tutorial_Chaining_Tactics.v b/src/Tutorial_Chaining_Tactics.v
@@ -41,7 +41,7 @@
 
   (* INTRO TEXT *)
 
-  Section Foo.
+  Section Chaining.
   Context (A B C D E F : Type).
 
   Set Printing Parentheses.
@@ -334,3 +334,4 @@
 (* ** 2. Combining Tactics *)
 
 
+End Chaining.