Up
–
coq
»
Tuto0_plugin
» G_tuto0
Module
Tuto0_plugin.G_tuto0
val
__coq_plugin_name : string