CookBook/Tactical.thy
2009-03-04 Christian Urban added more to the simplifier section
2009-03-03 Christian Urban polished
2009-02-28 Christian Urban general polishing; added versioning to the document
less more (0) -30 -10 -3 tip