src/HOL/Library/Case_Converter.thy
6 months ago wenzelm 2019-01-06 isabelle update -u path_cartouches;
6 months ago Andreas Lochbihler 2018-12-30 separate case converter into a separate theory