1 (* Author: Christian Urban TU Muenchen *)
2
3 section {* Various examples involving nominal datatypes. *}
4
5 theory Nominal_Examples
6 imports Nominal_Examples_Base Class3
7 begin
8
9 end