src/HOL/ex/Simps_Case_Conv_Examples.thy
6 months ago Andreas Lochbihler 2019-01-01 new implementation for case_of_simps based on Code_Lazy's pattern matching elimination algorithm
23 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2015-10-06 wenzelm 2015-10-06 isabelle update_cartouches;
2015-07-09 noschinl 2015-07-09 case_of_simps: do not split for types with a single constructor
2015-07-09 noschinl 2015-07-09 tests for Simps_Case_Conv
2013-09-06 noschinl 2013-09-06 added examples for Simps_Case_Conv