Higman.thy
2011-09-01 urbanc included Higman's lemma from the Isabelle repository
less more (0) tip