Up
–
coq
»
Btauto_plugin
» G_btauto
Module
Btauto_plugin.G_btauto
val
__coq_plugin_name : string