src/HOL/Library/Executable_Set.thy
changeset 33186 607b702feace
parent 32881 13b153243ed4
child 34022 bb37c95f0b8e
     1.1 --- a/src/HOL/Library/Executable_Set.thy	Mon Oct 26 10:51:41 2009 +0100
     1.2 +++ b/src/HOL/Library/Executable_Set.thy	Mon Oct 26 10:51:42 2009 +0100
     1.3 @@ -5,7 +5,7 @@
     1.4  header {* Implementation of finite sets by lists *}
     1.5  
     1.6  theory Executable_Set
     1.7 -imports Main Fset
     1.8 +imports Main Fset SML_Quickcheck
     1.9  begin
    1.10  
    1.11  subsection {* Preprocessor setup *}