src/Doc/Locales/Examples.thy
Tue, 07 Oct 2014 22:35:11 +0200 wenzelm more antiquotations;
Sat, 27 Apr 2013 21:56:45 +0200 ballarin Clarified confusing sentence in locales tutorial.
Tue, 28 Aug 2012 18:57:32 +0200 wenzelm renamed doc-src to src/Doc;
less more (0) tip