print.v « vio « test-suite - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/test-suite/vio/print.v

blob: 9c36a463c9741cdace1c788b83df3a1a613a8f55 (plain)

Lemma a : True.
Proof.
idtac.
exact I.
Qed.

Print a.

Lemma b : False.
Admitted.