src/HOL/Quickcheck_Examples/Quickcheck_Nesting_Example.thy
2016-09-01 blanchet 2016-09-01 added theory to provide workaround to support nested datatypes in quickcheck (until quickcheck is generalized to support it with new datatypes)