Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed redundant/ignored sort constraint;
authorwenzelm
Wed, 28 Apr 2010 16:12:21 +0200
changeset 36458 031e90da9720
parent 36457 7355af2a7e8a
child 36459 c051d1899489
removed redundant/ignored sort constraint;
src/HOLCF/IOA/meta_theory/Sequence.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle