aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/vio/print.v
blob: 9c36a463c9741cdace1c788b83df3a1a613a8f55 (plain)
1
2
3
4
5
6
7
8
9
10
Lemma a : True.
Proof.
idtac.
exact I.
Qed.

Print a.

Lemma b : False.
Admitted.