doc-src/Locales/Locales/Examples2.thy
Thu, 01 Jan 2009 20:56:23 +0100 wenzelm crude adaption to new locales;
Wed, 04 Jun 2008 16:44:31 +0200 wenzelm replaced (*<*)(*>*) by invisibility tags;
Tue, 03 Jun 2008 12:34:22 +0200 ballarin New version covering interpretation.
less more (0) tip