forone

groupoid · Mar 19, 2024 · 99560bd · 99560bd
1 parent cd32f1d
commit 99560bd
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/share/anders-mc/anders.syntax b/share/anders-mc/anders.syntax
@@ -73,7 +73,10 @@ context default
     keyword whole axiom cyan
     keyword whole theorem cyan
     keyword whole summa cyan
+    keyword whole forone cyan
     keyword whole import cyan
+    keyword whole inductive cyan
+    keyword whole do cyan
     keyword whole option cyan
     keyword whole true cyan
     keyword whole false cyan