Remark.v « success « test-suite - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/test-suite/success/Remark.v

blob: 2c3bc8b52a949ce7a1bac34c957778ec4f232c8d (plain)

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.