Re: [isabelle] instantiation order for a record



Dear Andreas,

thank you very much.
With your help I could solve my actual problem/.

/Best regards,
Sven



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