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