test-suite/success/Remark.v


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

(* Test obsolete, Remark est maintenant global
Section A.
Section B.
Section C.
Remark t : True. Proof I.
End C.
Locate C.t.
End B.
Locate B.C.t.
End A.
Locate A.B.C.t.
*)