diff -r 69c82605efcf -r d3616b4abe1b src/HOL/Induct/LList.thy
--- a/src/HOL/Induct/LList.thy	Sat Sep 30 21:39:24 2006 +0200
+++ b/src/HOL/Induct/LList.thy	Sat Sep 30 21:39:25 2006 +0200
@@ -22,7 +22,7 @@
 
 header {*Definition of type llist by a greatest fixed point*}
 
-theory LList imports Main SList begin
+theory LList imports SList begin
 
 consts