# HG changeset patch
# User wenzelm
# Date 1272463941 -7200
# Node ID 031e90da9720eaa9c933eb3d9a01014faab18627
# Parent  7355af2a7e8a489ad67b9897452d3c906e12de26
removed redundant/ignored sort constraint;

diff -r 7355af2a7e8a -r 031e90da9720 src/HOLCF/IOA/meta_theory/Sequence.thy
--- 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