Re: [isabelle] values from locales



On 11/07/2013 12:07 PM, Andreas Lochbihler wrote:
Hope this helps,

it does, thank you very much !

Andreas

Walther




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