src/HOL/Library/code_lazy.ML
6 months ago Andreas Lochbihler 2019-01-01 new implementation for case_of_simps based on Code_Lazy's pattern matching elimination algorithm
12 months ago Andreas Lochbihler 2018-06-29 declare case theorems as proper code equations
14 months ago Andreas Lochbihler 2018-05-12 new tool Code_Lazy