[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,
Josh




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