src/HOL/Data_Structures/Array_Braun.thy
Mon, 14 Jan 2019 16:10:56 +0100 nipkow root_val -> value
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
Sun, 04 Nov 2018 12:07:24 +0100 nipkow Faster Braun tree functions
less more (0) -3 tip