
diff -r 9ffd27558916 -r 0842e906300c src/HOL/Library/Quicksort.thy
--- 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




