proofs/proofs.mllib


1
2
3
4
5
6
7
8
9
10
11
12

Tacexpr
Proof_type
Redexpr
Proof_trees
Logic
Refiner
Evar_refiner
Tacmach
Pfedit
Tactic_debug
Clenvtac
Decl_mode