Proper transformation groups