changeset 30738 | 0842e906300c |
parent 28041 | f496e9f343b7 |
child 37075 | a680ce27aa56 |
--- a/src/HOL/Library/Quicksort.thy Fri Mar 27 10:05:08 2009 +0100 +++ b/src/HOL/Library/Quicksort.thy Fri Mar 27 10:05:11 2009 +0100 @@ -1,12 +1,11 @@ -(* ID: $Id$ - Author: Tobias Nipkow +(* Author: Tobias Nipkow Copyright 1994 TU Muenchen *) header{*Quicksort*} theory Quicksort -imports Plain Multiset +imports Main Multiset begin context linorder