src/HOLCF/IOA/meta_theory/Seq.thy

--- a/src/HOLCF/IOA/meta_theory/Seq.thy	Tue Nov 25 16:34:20 1997 +0100
+++ b/src/HOLCF/IOA/meta_theory/Seq.thy	Tue Nov 25 17:56:49 1997 +0100
@@ -105,14 +105,14 @@
                           nil => UU 
                         | y##ys => <x,y>##(h`xs`ys))))"
  
-
+(*
 nproj_def 
  "nproj == (%n tr.HD`(iterate n TL tr))"   
 
 
 sproj_def 
  "sproj == (%n tr.iterate n TL tr)"   
-
+*)
 
 
 Partial_def