-R theories Tuto3
-I src

theories/Data.v
theories/Loader.v

src/construction_game.ml
src/construction_game.mli
src/g_tuto3.ml4
src/tuto3_plugin.mlpack