src/HOL/Library/code_lazy.ML
14 months ago Andreas Lochbihler 2018-06-29 declare case theorems as proper code equations
16 months ago Andreas Lochbihler 2018-05-12 new tool Code_Lazy