CookBook/Recipes/NamedThms.thy
2009-01-14 Christian Urban added more to the "new command section" and tuning
2009-01-08 Christian Urban tuned
2008-12-16 Christian Urban fixed typos
less more (0) -10 -3 tip