summaryrefslogtreecommitdiffstats
path: root/src/proof/acec/module.make
blob: c70b0a7d142608839125fe213b987823ccf2ca54 (plain)
1
2
3
4
5