small changes description

coq-community · May 19, 2022 · f4f8faf · f4f8faf
1 parent 030ef2f
commit f4f8faf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/v09changes.md b/v09changes.md
@@ -1,4 +1,4 @@
-The experimental bridge to the [Gaia project](https://github.com/coq-community/gaia) allows now to import some definitions and theorems of the Ketonen-Solovay combinatorial theorems into the Gaia environment (see Chapter 7 of [the documentation](https://coq-community.org/hydra-battles/doc/hydras.pdf)).
+The experimental bridge to the [Gaia project](https://github.com/coq-community/gaia) allows now to import some definitions and theorems of the so-called Ketonen-Solovay combinatorial machinery into the Gaia environment (see Chapter 7 of [the documentation](https://coq-community.org/hydra-battles/doc/hydras.pdf)).
 
 The first topics treated in this version are: canonical sequences, accessibility, and a few rapidly growing hierarchies of arithmetical functions.