--- a/src/HOLCF/IOA/meta_theory/Sequence.thy Wed Apr 28 16:11:13 2010 +0200
+++ b/src/HOLCF/IOA/meta_theory/Sequence.thy Wed Apr 28 16:12:21 2010 +0200
@@ -10,7 +10,7 @@
default_sort type
-types 'a Seq = "'a::type lift seq"
+types 'a Seq = "'a lift seq"
consts