src/HOL/Library/case_converter.ML
6 months ago wenzelm 2019-01-04 isabelle update -u control_cartouches;
6 months ago Andreas Lochbihler 2019-01-01 new implementation for case_of_simps based on Code_Lazy's pattern matching elimination algorithm
13 months ago wenzelm 2018-05-27 prefer existing operation;
14 months ago Andreas Lochbihler 2018-05-12 new tool Code_Lazy