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