isabelle: Changelog

huffman [Sun, 04 Dec 2011 18:30:57 +0100] rev 45749

merged

huffman [Sun, 04 Dec 2011 13:10:19 +0100] rev 45748

remove Library/Diagonalize.thy, because Library/Nat_Bijection.thy includes all the same functionality

nipkow [Sun, 04 Dec 2011 18:29:29 +0100] rev 45747

missing dependency

nipkow [Sun, 04 Dec 2011 18:29:16 +0100] rev 45746

improved var names

nipkow [Sat, 03 Dec 2011 21:25:34 +0100] rev 45745

invariant holds before loop

wenzelm [Sat, 03 Dec 2011 13:11:50 +0100] rev 45744

caret_range based on BreakIterator, which handles combined unicode characters as well;

wenzelm [Fri, 02 Dec 2011 16:37:35 +0100] rev 45743

misc tuning;

wenzelm [Fri, 02 Dec 2011 16:24:48 +0100] rev 45742

some localization;

wenzelm [Fri, 02 Dec 2011 15:23:27 +0100] rev 45741

eliminated some legacy operations;

wenzelm [Fri, 02 Dec 2011 14:54:25 +0100] rev 45740

more antiquotations;

isabelle