Update Tutorial_Equations_wf.v

coq · Nov 7, 2024 · e786299 · e786299
1 parent 1c200ab
commit e786299
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/Tutorial_Equations_wf.v b/src/Tutorial_Equations_wf.v
@@ -20,9 +20,9 @@
     - 1.1 The syntactic guard condition is limited
     - 1.2 Well-founded recursion
     2. Well-founded recursion and Equations
-      2.1 Using a measure
-      2.2 Using a lexicographic order
-      2.3 Using a custom well-founded relation
+      - 2.1 Using a measure
+      - 2.2 Using a lexicographic order
+      - 2.3 Using a custom well-founded relation
   - 3. Different tricks to work with well-founded recursion
     - 3.1 The inspect method
     - 3.2 Improving recursion hypotheses