doc-src/Locales/Locales/Examples2.thy
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