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

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