src/HOL/Data_Structures/Sorting.thy
Sun, 08 Nov 2020 15:02:50 +0100 nipkow tuned
Thu, 05 Nov 2020 11:36:18 +0100 nipkow eliminate add_mset
Thu, 22 Oct 2020 08:39:08 +0200 nipkow tuned names: t_ -> T_
Thu, 04 Jun 2020 15:30:22 +0000 haftmann more simp rules
Fri, 31 May 2019 10:39:35 +0200 nipkow tuned
Thu, 09 May 2019 12:32:47 +0200 nipkow New version of tries
less more (0) -10 -6 tip