Higman2.thy
2011-08-24 urbanc just test
less more (0) tip