Up – Package index » coq-catt-plugin » Library coq-catt-plugin.lib » Coq_plugin » Export

Module `Coq_plugin.Export`Source

coq-catt-plugin
- CHANGES
- README
- Library coq-catt-plugin.lib
  - Coq_plugin
    - Export
    - G_catt
- Sources

Sourceval catt_tm : string -> string list -> unit