src/HOL/Corec_Examples/Paper_Examples.thy
2016-07-13 blanchet 2016-07-13 tuning
2016-07-07 blanchet 2016-07-07 updated example
2016-07-06 blanchet 2016-07-06 updated examples
2016-03-28 blanchet 2016-03-28 another 'corec' example