src/HOL/Data_Structures/Balance.thy
Sat, 26 Aug 2017 17:52:00 +0200 nipkow tuned
Sat, 26 Aug 2017 16:47:25 +0200 nipkow reorganized and added log-related lemmas
Fri, 25 Aug 2017 23:09:56 +0200 nipkow reorganization of tree lemmas; new lemmas
Fri, 18 Aug 2017 20:47:47 +0200 wenzelm session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
Wed, 07 Dec 2016 08:14:40 +0100 nipkow more lemmas
Mon, 05 Dec 2016 18:14:41 +0100 nipkow spelling
Tue, 29 Nov 2016 10:53:52 +0100 nipkow more lemmas, tuned proofs
Tue, 08 Nov 2016 13:03:54 +0100 nipkow provided more efficient interface
Thu, 06 Oct 2016 11:38:05 +0200 nipkow moved lemmas
Wed, 05 Oct 2016 20:01:05 +0200 nipkow replaced floorlog by floor/ceiling(log .)
Tue, 13 Sep 2016 11:31:30 +0200 nipkow reorganization, more funs and lemmas
Sun, 11 Sep 2016 18:12:05 +0200 nipkow more simp rules
Fri, 09 Sep 2016 14:15:16 +0200 nipkow More on balancing; renamed theory to Balance
less more (0) tip