aboutsummaryrefslogtreecommitdiff
path: root/tuto0/_CoqProject
blob: ca0c0588a498d45e6ef36f97a638696c216edf81 (plain) 
1
2
3
4
5
6
7
8

-R theories/ Tuto0
-I src

theories/Loader.v
src/tuto0_main.ml
src/tuto0_main.mli
src/g_tuto0.ml4
src/tuto0_plugin.mlpack
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-13 17:42:23 +0000