equal
deleted
inserted
replaced
1 (* Author: Tobias Nipkow *) |
1 (* Author: Tobias Nipkow *) |
2 |
2 |
3 header {* Bubblesort *} |
3 section {* Bubblesort *} |
4 |
4 |
5 theory Bubblesort |
5 theory Bubblesort |
6 imports "~~/src/HOL/Library/Multiset" |
6 imports "~~/src/HOL/Library/Multiset" |
7 begin |
7 begin |
8 |
8 |