src/HOL/ex/Code_Lazy_Demo.thy
18 months ago Andreas Lochbihler 2018-07-15 more examples for Code_Lazy