aboutsummaryrefslogtreecommitdiff
path: root/proofs/proofs.mllib
blob: 5f19c1bb09aa1206f15784e3ba71deaa836b2f98 (plain) 
1
2
3
4
5
6
7
8
9
10

Miscprint
Goal
Evar_refiner
Refine
Proof
Logic
Goal_select
Proof_bullet
Tacmach
Clenv
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:31:29 +0000