| Thu, 12 Nov 2020 12:44:17 +0100 | nipkow | tuned | file | diff | annotate |
| Tue, 10 Nov 2020 17:42:41 +0100 | nipkow | renamed "balanced" -> "acomplete" because balanced has other meanings in the literature | file | diff | annotate |
| Sat, 26 Sep 2020 18:59:12 +0200 | nipkow | added lemma | file | diff | annotate |
| Mon, 14 Jan 2019 16:10:56 +0100 | nipkow | root_val -> value | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Thu, 01 Nov 2018 12:23:54 +0100 | nipkow | too many clashes with "root" on reals | file | diff | annotate |
| Thu, 01 Nov 2018 11:26:38 +0100 | nipkow | added and renamed functions | file | diff | annotate |
| Thu, 04 Oct 2018 10:35:29 +0200 | nipkow | simplified proofs | file | diff | annotate |
| Wed, 03 Oct 2018 20:55:59 +0200 | nipkow | tuned | file | diff | annotate |
| Sun, 16 Sep 2018 16:31:56 +0200 | nipkow | tuned | file | diff | annotate |
| Sun, 16 Sep 2018 15:16:04 +0200 | nipkow | more traditional formulation | file | diff | annotate |
| Tue, 08 May 2018 10:14:36 +0200 | nipkow | new def of sorted and sorted_wrt | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Sun, 17 Sep 2017 21:04:02 +0200 | nipkow | added lemmas | file | diff | annotate |
| Tue, 05 Sep 2017 17:07:42 +0200 | nipkow | introduced bst_wrt | file | diff | annotate |
| Sat, 01 Apr 2017 08:05:40 +0200 | nipkow | tuned | file | diff | annotate |
| Fri, 31 Mar 2017 17:21:36 +0200 | nipkow | more lemmas | file | diff | annotate |
| Fri, 20 Jan 2017 12:44:44 +0100 | nipkow | added postorder | file | diff | annotate |
| Fri, 20 Jan 2017 08:49:06 +0100 | nipkow | tuned | file | diff | annotate |
| Thu, 19 Jan 2017 17:24:05 +0100 | nipkow | int version slicker | file | diff | annotate |
| Thu, 19 Jan 2017 12:39:46 +0100 | nipkow | tuned | file | diff | annotate |
| Wed, 18 Jan 2017 21:03:39 +0100 | nipkow | tuned | file | diff | annotate |
| Tue, 17 Jan 2017 18:03:59 +0100 | nipkow | tuned | file | diff | annotate |
| Fri, 13 Jan 2017 11:41:50 +0100 | nipkow | tuned/minimized | file | diff | annotate |
| Wed, 04 Jan 2017 14:26:08 +0100 | nipkow | tuned | file | diff | annotate |
| Mon, 05 Dec 2016 18:14:41 +0100 | nipkow | spelling | file | diff | annotate |
| Tue, 29 Nov 2016 10:53:52 +0100 | nipkow | more lemmas, tuned proofs | file | diff | annotate |
| Thu, 27 Oct 2016 12:54:55 +0200 | nipkow | added lemma | file | diff | annotate |
| Tue, 13 Sep 2016 11:31:30 +0200 | nipkow | reorganization, more funs and lemmas | file | diff | annotate |
| Fri, 09 Sep 2016 14:15:16 +0200 | nipkow | More on balancing; renamed theory to Balance | file | diff | annotate |