Remark2.v « output « test-suite - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/test-suite/output/Remark2.v

blob: e1ef57a0ae61c052324a16559b56f5fd7fc5fc25 (plain)

Section A.
Section B.
Section C.
Remark t : True. Proof I.
End C.
End B.
End A.
Locate B.C.t.