[isabelle] Generic context data methods

Dear all,

What exactly are the methods get, put and map (for the signatures Theory_Data and Proof_Data) supposed to implement? I roughly get the idea of empty, extend, merge and init but am not sure about the generic context methods.

Best wishes,

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