Theory Names

Up to index of Isabelle/HOL/Pi2

theory Names = InfTypeClass:
Names = InfTypeClass