Higman.thy
changeset 378 a0bcf886b8ef
parent 222 191769fc68c3