diff --git a/src/Tutorial_Chaining_Tactics.v b/src/Tutorial_Chaining_Tactics.v index a4bd7e2..3e617b7 100644 --- 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. \ No newline at end of file