aboutsummaryrefslogtreecommitdiff
path: root/_CoqProject
blob: 34aaea9f75eae5b44d1d62455e40ad485678d0a8 (plain)
blob size (341KB) exceeds display size limit (128KB).