src/HOL/Library/Code_Lazy.thy
16 months ago Andreas Lochbihler 2018-05-12 new tool Code_Lazy