CookBook/NamedThms.thy
2008-09-03 Christian Urban initial commit of Alexander's files
less more (0) tip