Up
–
coq
»
Tuto0_plugin
» Tuto0_main
Module
Tuto0_plugin.Tuto0_main
val
message : string