src/HOL/Corec_Examples/Tests/Small_Concrete.thy
2016-03-22 blanchet 2016-03-22 added 'corec' examples and tests