aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/coqwc/theorem.v
blob: 901c9074fdfaf264cb82677985289c0c9ff5344a (plain)
1
2
3
4
5
6
7
8
9
10
Theorem foo : True.
Proof.
  idtac. (* comment *)
  idtac.
  idtac.
  idtac. (* comment *)
  idtac.
  idtac.
  auto.
Qed.