--- a/src/HOL/Extraction/Higman.thy Tue Nov 13 10:50:33 2007 +0100
+++ b/src/HOL/Extraction/Higman.thy Tue Nov 13 10:53:39 2007 +0100
@@ -7,7 +7,7 @@
header {* Higman's lemma *}
theory Higman
-imports Main (*"~~/src/HOL/ex/Random"*)
+imports Main
begin
text {*