isabelle: Changelog

wenzelm [Thu, 15 Feb 2018 17:08:25 +0100] rev 67621

auxiliary operation for space profiling;

haftmann [Sat, 03 Feb 2018 09:11:21 +0000] rev 67620

special treatment of 0 only refers to type char

Lars Hupel <lars.hupel@mytum.de> [Fri, 16 Feb 2018 14:41:20 +0100] rev 67619

merged

Lars Hupel <lars.hupel@mytum.de> [Fri, 16 Feb 2018 11:03:17 +0100] rev 67618

features and caveats of datatype_record

Andreas Lochbihler [Fri, 16 Feb 2018 13:00:09 +0100] rev 67617

merged

Andreas Lochbihler [Fri, 16 Feb 2018 10:59:14 +0100] rev 67616

strengthen filter relator to canonical categorical definition with better properties

wenzelm [Thu, 15 Feb 2018 14:36:46 +0100] rev 67615

recovered outer Pretty.block from 30c1639a343a, avoid excessive line breaks due to implicit Pretty.chunks;

wenzelm [Thu, 15 Feb 2018 13:04:36 +0100] rev 67614

merged

wenzelm [Thu, 15 Feb 2018 12:11:00 +0100] rev 67613

more symbols;

nipkow [Wed, 14 Feb 2018 16:32:09 +0100] rev 67612

New theory ex/Radix_Sort.thy

isabelle