--- 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