src/Doc/Codegen/Setup.thy
Fri, 15 Feb 2013 12:48:20 +0100 haftmann dropped now obsolete hint;
less more (0) tip