diff -r 1d8ebaf5f211 -r ddb060d37ca8 src/HOL/Extraction/Higman.thy
--- 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 {*