replaced ops by consts;

--- a/src/HOLCF/IOA/meta_theory/Sequence.thy	Mon Oct 20 12:45:51 1997 +0200
+++ b/src/HOLCF/IOA/meta_theory/Sequence.thy	Mon Oct 20 12:47:02 1997 +0200
@@ -13,7 +13,7 @@
 
 types 'a Seq = ('a::term lift)seq
 
-ops curried
+consts
 
   Cons             ::"'a            => 'a Seq -> 'a Seq"
   Filter           ::"('a => bool)  => 'a Seq -> 'a Seq"