CookBook/Recipes/NamedThms.thy
2008-10-10 berghofe Antiquotation setup is now contained in theory Base.
2008-10-06 Christian Urban some slight polishing
2008-10-02 Christian Urban added a solution section and some other minor additions
2008-10-02 Christian Urban added a paragraph about "uses" and started a paragraph about tracing
2008-10-02 Christian Urban polished and added a subdirectory for the recipes
less more (0) tip