Higman2.thy
2011-08-24 urbanc just test
2011-08-23 urbanc added test for Higman's lemma
less more (0) tip