[isabelle-dev] Context of a locale?
ballarin at in.tum.de
Mon May 23 21:41:19 CEST 2011
There is Locale.init, which seems to be what you want.
Quoting John Munroe <munddr at gmail.com>:
> 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
> Any help will be appreciated. Thanks.
> - John
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev