caret_range based on BreakIterator, which handles combined unicode characters as well;
no_document use_thys [
"~~/src/HOL/Library/Infinite_Set",
"~~/src/HOL/Library/Permutation"
];
use_thys [
"Fib",
"Factorization",
"Chinese",
"WilsonRuss",
"WilsonBij",
"Quadratic_Reciprocity",
"Primes",
"Pocklington"
];