src/META.coq-plugin-tutorial
-R theories Tuto3
-I src

theories/Data.v
theories/Loader.v

src/tuto_tactic.ml
src/tuto_tactic.mli
src/construction_game.ml
src/construction_game.mli
src/g_tuto3.mlg
src/tuto3_plugin.mlpack
