Library Coqdoc.Context

Section Sec.
Context (foo : nat).
Check foo.
End Sec.