aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/coqwc/BZ5637.out
blob: f0b5e4f7eb752c6c8bdce3778915f1ac7c88e840 (plain)
1
2
     spec    proof comments
        5        0        0 coqwc/BZ5637.v