[isabelle] local proof context



Hi,

is it true that the local proof context is everything that Query -> Print Context displays? Namely:

   context
   cases
   terms
   theorems
   state

Cheers

- Gergely



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.