[isabelle-dev] Context of a locale?

John Munroe munddr at gmail.com
Tue May 17 20:35:58 CEST 2011


Hello

Does anyone know of a way to obtain the context of a given locale
name? There doesn't seem to be an appropriate function for this in
locale.ML.

Any help will be appreciated. Thanks.

Regards
- John


More information about the isabelle-dev mailing list