doc/plugin_tutorial/tuto0/_CoqProject


1
2
3
4
5
6
7
8
9
10

-R theories/ Tuto0
-I src

theories/Loader.v
theories/Demo.v

src/tuto0_main.ml
src/tuto0_main.mli
src/g_tuto0.mlg
src/tuto0_plugin.mlpack