src/HOL/equalities.thy
changeset 11295 66925f23ac7f
parent 1475 7f5a4cd08209