add todo on guarded fixpoints

simongregersen · simongregersen · commit e88369a3dcf8 · 2024-11-28T09:39:42.000-05:00
diff --git a/TODO.md b/TODO.md
@@ -1,4 +1,5 @@
 # Fixes
+- The chapter [gr_predicates.v] does actually not talk about guarded fixpoints, only least fixpoints
 - Clean up proofs in some chapters
   - Reduce use of SSreflect
   - Simplify proofs

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`# Fixes`
	`2`	`+- The chapter [gr_predicates.v] does actually not talk about guarded fixpoints, only least fixpoints`
`2`	`3`	`- Clean up proofs in some chapters`
`3`	`4`	`- Reduce use of SSreflect`
`4`	`5`	`- Simplify proofs`