NicoleRauch/Isabelle — pull request #1 by larsrh (2013-01-21 19:13:59+00:00)
Title: Bubblesort

correctness, length & element preservation