| Tue, 09 Mar 2021 21:11:05 +0100 | wenzelm | proper type-setting of cartouches (requires T1); | file | diff | annotate |
| Thu, 06 Aug 2020 17:39:57 +0200 | nipkow | tuned | file | diff | annotate |
| Tue, 07 Jan 2020 12:37:12 +0100 | nipkow | alternative deletion in Red-Black trees | file | diff | annotate |
| Sun, 08 Apr 2018 12:14:00 +0200 | nipkow | Added binary set operations with join-based implementation | file | diff | annotate |
| Thu, 20 Oct 2016 17:28:09 +0200 | eberlm | Repaired LaTeX in HOL-Data_Structures | file | diff | annotate |
| Thu, 24 Mar 2016 15:56:47 +0100 | nipkow | added Leftist_Heap | file | diff | annotate |
| Wed, 02 Mar 2016 10:01:31 +0100 | nipkow | added invariant proofs to AA trees | file | diff | annotate |