(* Author: Christian Urban TU Muenchen *) section {* Various examples involving nominal datatypes. *} theory Nominal_Examples imports Nominal_Examples_Base Class3 begin end