src/HOL/Main.thy
changeset 33561 ab01b72715ef
parent 33192 08a39a957ed7
child 33562 b1e2830ee31a
--- a/src/HOL/Main.thy	Wed Oct 28 11:55:48 2009 +0100
+++ b/src/HOL/Main.thy	Wed Oct 28 17:43:43 2009 +0100
@@ -1,7 +1,7 @@
 header {* Main HOL *}
 
 theory Main
-imports Plain Nitpick Quickcheck Recdef
+imports Plain Nitpick
 begin
 
 text {*