aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/omega/omega_plugin.mllib
blob: 2b387fdcee9bdb4d04efbc29797b673b7aa3f1d6 (plain)
1
2
3
4
Omega
Coq_omega
G_omega
Omega_plugin_mod