Classification theory: 1985