equal
deleted
inserted
replaced
1 (* Author: Tobias Nipkow *) |
1 (* Author: Tobias Nipkow *) |
2 |
2 |
3 section \<open>Red-Black Trees\<close> |
3 section \<open>Red-Black Tree\<close> |
4 |
4 |
5 theory RBT |
5 theory RBT |
6 imports Tree2 |
6 imports Tree2 |
7 begin |
7 begin |
8 |
8 |